L'identité en mathématiques constructives
Séminaire de Philosophie et Mathématiques no. 2  (1989), p. 1-16
@article{SPHM_1989___2_A1_0,
     author = {Van Dalen, Dirk},
     title = {L'identit\'e en math\'ematiques constructives},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {IREM Paris-Nord},
     number = {2},
     year = {1989},
     pages = {1-16},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1989___2_A1_0}
}
Van Dalen, Dirk. L'identité en mathématiques constructives. Séminaire de Philosophie et Mathématiques, no. 2 (1989), pp. 1-16. http://www.numdam.org/item/SPHM_1989___2_A1_0/

(D 1) D. Van Dalen, Lectures on intuitionism. In H. Rogers, A.R.D. Mathias (eds.) Cambridge Summer School in Mathematical Logic, Springer, Berlin, 197, 1-94. | MR 337502 | Zbl 0272.02035

(D 2) D. Van Dalen, Logic and Structure Springer, Berlin, 1983. | MR 720049 | Zbl 0714.03001

(T.D) A.S. Troeistra, D. Van Dalen, Constructivsm in Mathematics Vol 1, North-Holland, Amsterdam. 1988. | Zbl 0661.03047

(S) C.S. Smorynski, On axiomatising fragments. Journal of Symbolic Logic (42) 1977, 530-544. | MR 476435 | Zbl 0381.03046