Troelstra, A. S., 1939-
Constructivism in mathematics : an introduction. Volume I / A.S. Troelstra, D. van Dalen. -- First edition. -- Amsterdam : Elsevier, 1988. -- xx, 342 stran, xiv : ilustrace. -- (Studies in logic and the foundations of mathematics ; Volume 121). -- 3134043049 - dotisk 2004. -- ISBN : 0-444-70266-0 (vázáno).
Dalen, D. van, 1932-
konstruktivní matematika. učebnice
510.25. (075)