Your search returned 2 results.

Results
	1.	Constructivism in mathematics : an introduction / A. S. Troelstra, D. Van Dalen by Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk van), 1932- Series: Studies in logic and the foundations of mathematics ; 121, 123 Publication details: Amsterdam : North-Holland, 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (3)Call number: QA9.56.T74, ... Place hold
	2.	Basic proof theory / A.S. Troelstra, H. Schwichtenberg. by Troelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut, 1942- Series: Cambridge tracts in theoretical computer science ; 43 Edition: 2nd ed. Publication details: Cambridge : Cambridge University Press, 2000 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.T76 2000. Place hold

Refine your search