Your search returned 5 results.

Results
	1.	No cover image available No cover image available Ancient formal logic by Bochenski, I.M Brouwer, L.E.J Beth, E.W Heyting, A Series: Studies in logic and the foundation of mathematics ; Material type: Text Publication details: Amsterdam North-Holland publ.Co 1951 Availability: Items available for loan: School of Theoretical Physics (1)Call number: 511.1 BOC. Place hold
	2.	No cover image available No cover image available Outlines of a formalist philosophy of mathematics by Curry, Haskell Brouwer, L.E.J Beth, E.W Heyting, A Series: Studies in logic and the foundations of mathematics ; Material type: Text Publication details: Amsterdam North-Holland publ.co 1951 Availability: Items available for loan: School of Theoretical Physics (1)Call number: 511.1 CUR. Place hold
	3.	No cover image available No cover image available Linear algebra and geometry. by Kuiper, Nicolaas H Series: ; Material type: Text Publication details: Amsterdam North-Holland Publ.Co. 1962 Availability: Items available for loan: School of Theoretical Physics (2)Call number: 512.5 KUI, ... Place hold
	4.	No cover image available No cover image available The axiomatic method;with special reference to geometry and physics ; proceedings of an international symposium held at the University of California. by Henkin, Leon Suppes, Patrick Tarski, Alfred Series: Studies in logic and the foundations of mathematics ; Material type: Text Publication details: Amsterdam North-Holland Publ. Co 1959 Availability: Items available for loan: School of Theoretical Physics (1)Call number: 511.1 CAL. Place hold
	5.	No cover image available No cover image available Sentences undecidable in formalised arithmetic: an exposition of the theory of Kurt Godel. by Mostowski, Andrzej Brouwer, L.E.J Beth, E.W Heyting, A Series: Studies in logic and the founsations of mathematics series ; Material type: Text Publication details: Amsterdam North-Holland publ. co. 1952 Availability: Items available for loan: School of Theoretical Physics (1)Call number: 511.1 MOS. Place hold