Your search returned 8 results.

Results
	1.	Brouwer meets Husserl [electronic resource] : On the Phenomenology of Choice Sequences / by Mark Atten. by Atten, Mark SpringerLink (Online service) Publication details: Dordrecht : Springer, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen by Dalen, D. van (Dirk van), 1932- Publication details: Cambridge : Cambridge University Press, 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.47.B7. Place hold
	3.	Elements of intuitionism / by Michael Dummett, with the assistance of Roberto Minio by Dummett, M. A. E. (Michael A. E.) Minio, Roberto Publication details: Oxford : Clarendon Press, 1985 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.47.D846[00008012418]. Place hold
	4.	No cover image available The foundations of intuitionistic mathematics especially in relation to recursive functions by Stephen Cole Kleene and Richard Eugene Vesley by Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, 1932- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam : North-Holland Publishing Company, 1965 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.K53. Place hold
	5.	Intuition and the Axiomatic Method [electronic resource] / edited by Emily Carson, Renate Huber. by Carson, Emily Huber, Renate SpringerLink (Online service) Series: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields ; 70 Publication details: Dordrecht : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Intuitionism : an introduction / A. Heyting. by Heyting, A. (Arend), 1898- Series: Studies in logic and the foundations of mathematics Edition: 3rd rev. ed. Publication details: Amsterdam : North-Holland Publishing, 1971 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.H46 1971. Place hold
	7.	One hundred years of intuitionism (1907-2007) [electronic resource] : the cerisy conference / edited by Mark van Atten ... [et al.]. by Atten, Mark van SpringerLink (Online service) Series: Publication details: Basel : Birkhauser Basel, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	No cover image available Proof methods for modal and intuitionistic logics/ Melvin Fitting. by Fitting, Melvin Chris Series: Synthese library ; v. 169. Publication details: Dordrecht: D. Reidel Publishing Company, 1983 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.F57[00008031799]. Place hold

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library