Your search returned 8 results.

Results
	1.	No cover image available The Axiomatic Method (Chapters: 33) ; With Special Reference to Geometry and Physics ; Proceedings by International Symposium ; U.S. National Science Foundation (Sp.) ; et al. ; University of California, Berkeley ; 1957, December 26 - 1958, January 4 Henkin, Leon [(Ed.)] Tarski, Alfred [(Ed.)] suppes, patrick [(Ed.)] Series: Studies in Logic and the Foundations of Mathematics \| Brouwer, L.E.J. (Ed.) \| Beth, E.W. (Ed.) \| Heyting, A. (Ed.) Edition: 1. Ed. Language: English Publication details: Amsterdam : North-Holland Publishing Company 1959 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 675-A. Place hold Add to cart (remove)
	2.	No cover image available axiomatic set theory by bernays, paul fraenkel, abraham a [(pr.)] Series: studies in logic and the foundations of mathematics \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 1. ed. Language: English Publication details: amsterdam : north-holland publishing company 1958 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 872-A. Place hold Add to cart (remove)
	3.	No cover image available combinatory logic by curry, haskell b feys, robert craig, william [(co.)] Series: studies in logic and the foundations in mathematics ; vol. i \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 1. ed. Language: English Publication details: amsterdam : north-holland publishing company 1958 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 837-A. Place hold Add to cart (remove)
	4.	No cover image available computer programming and formal systems (Chapters: 8) by hirschberg, d [(ed.)] braffort, p [(ed.)] Series: studies in logic and the foundations of mathematics \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 1. ed. Language: English Publication details: amsterdam : north-holland publishing company 1963 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 213-A. Place hold Add to cart (remove)
	5.	No cover image available intuitionism ; an introduction by heyting, a Series: studies in logic and the foundations of mathematics \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 2., rev. ed. Language: English Publication details: amsterdam : north-holland publishing company 1966 Availability: Not available: Institute for Advanced Studies (IHS): Lost (1). Add to cart (remove)
	6.	No cover image available nomological statements and admissible operations by reichenbach, hans Series: studies in logic and the foundations of mathematics \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 1. ed. Language: English Publication details: amsterdam : north-holland publishing company 1954 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 214-A. Place hold Add to cart (remove)
	7.	No cover image available ordinal algebras ; with appendices by chen-chung chang and bjarni jonsson by tarski, alfred Series: studies in logic and the foundations of mathematics \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 1. ed. Language: English Publication details: amsterdam : north-holland publishing company 1956 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 215-A. Place hold Add to cart (remove)
	8.	No cover image available recursive number theory ; a development of recursive arithmetic in a logic-free equation calculus by goodstein, r.l Series: studies in logic and the foundations of mathematics \| brouwer, l.e.j. (ed.) \| beth, e.w. (ed.) \| heyting, a. (ed.) Edition: 1. ed. Language: English Publication details: amsterdam : north-holland publishing company 1957 Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 878-A. Place hold Add to cart (remove)

Powered by Koha