Your search returned 3 results.

Results
		No cover image available Constructivism in mathematics : an introduction by Troelstra, A.S \| van Dalen, D \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1988Availability: Items available for loan: 1 Call number: 517.1 Tro-1. Place hold Add to cart (remove)
		No cover image available Principles of intuitionism : lectures, summer conference on intuitionism and proof theory, Buffalo, N.Y., 1968 by Troelstra, A.S \| . Series: EFCE : 1984Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1969Availability: Items available for loan: 1 Call number: 517.1 Tro:68. Place hold Add to cart (remove)
		No cover image available Choice sequences : a chapter of intuitionistic mathematics by Troelstra, A.S \| . Series: Progress in mathematics ; v.261Edition: Language: English Publication details: Oxford ; Clarendon Press, ; 1977Availability: Items available for loan: 1 Call number: 510.24 Tro. Place hold Add to cart (remove)

Refine your search