Troelstra, A. S., 1939-
Constructivism in mathematics : an introduction. Volume II / A.S. Troelstra, D. van Dalen. -- First edition. -- Amsterdam : Elsevier, 1988. -- xvii, strana 345-879, lii. -- (Studies in logic and the foundations of mathematics ; volume 123). -- 3134043201 - dotisk 2004. -- ISBN : 0-444-70358-6 (vázáno).
Dalen, D. van, 1932-
konstruktivní matematika. učebnice vysokých škol
510.25. (075.8)