Your search returned 6 results.

Results
	1.	Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) by Troelstra, A. S Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin, Heidelberg, New York: Springer, 1973 Availability: Items available for loan: IMAR (2)Call number: II 19007, ... Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	2.	No cover image available Notes on intuitionistic second order arithmetic A. S. Troelstra by Troelstra, A. S Publication details: Amsterdam Universiteit Amsterdam 1971 Availability: Items available for loan: IMAR (1)Call number: II 13341. Place hold Add to cart (remove)
	3.	No cover image available On the Syntax of Martin-Lof's Theories A. S. Troelstra by Troelstra, A. S Series: Report. 3 Publication details: Amsterdam University Amsterdam 1986 Availability: Items available for loan: IMAR (1)Call number: III 28003. Place hold Add to cart (remove)
	4.	No cover image available Computability of terms and notions of realizability for intuitionistic analysis A. S. Troelstra by Troelstra, A. S Publication details: Amsterdam University Amsterdam 1971 Availability: Items available for loan: IMAR (1)Call number: III 11614. Place hold Add to cart (remove)
	5.	Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) by Troelstra, A. S Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin, Heidelberg, New York: Springer, 1973 Availability: Items available for loan: IMAR (1)Call number: 510/.8 S 511/.3-TRO-1. Place hold Add to cart (remove)
	6.	No cover image available Principles of intuitionism A. S. Troelstra by Troelstra, A. S Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1969 Availability: Items available for loan: IMAR (1)Call number: CS1-95. Place hold Add to cart (remove)

Powered by Koha