Results of search for 'se,phr:"Studies in logic and the foundations of mathematics."'

Results
	1.	The axiom of choice / by Thomas J. Jech by Jech, Thomas J Series: Studies in logic and the foundations of mathematics v.75 Publication details: Amsterdam : North-Holland Publishing Company, 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA248.J4 1973. Place hold
	2.	No cover image available Axiomatic set theory / Paul Bernays ; with a historical introd. by Abraham A. Fraenkel by Bernays, Paul, 1888- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam : North-Holland Publishing Company, 1958 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA248.B4. Place hold
	3.	No cover image available Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel by Bernays, Paul, 1888- Series: Studies in logic and the foundations of mathematics Edition: 2nd ed. Publication details: Amsterdam : North-Holland, 1968 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA248.B4 1968, ... Place hold
	4.	Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi by Odifreddi, Piergiorgio, 1950- Series: Studies in logic and the foundations of mathematics ; 125 Publication details: Amsterdam : North-Holland, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.O35. Place hold
	5.	No cover image available Combinatorial set theory partition relations for cardinals by Paul Erd os ... [et al.] by Erd os, Paul, 1913- Series: Studies in logic and the foundations of mathematics ; v. 106 Publication details: Amsterdam : North-Holland Publishing Company, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA248.C616. Place hold
	6.	Computability complexity, logic / E. Borger by Borger, E. (Egon), 1946- Elder, John, 1949- Series: Studies in logic and the foundations of mathematics ; 128 Publication details: Amsterdam : North-Holland, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.59.B6713, ... Place hold
	7.	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
	8.	Cylindric algebras / Leon Henkin, J. Donald Monk, Alfred Tarski by Henkin, Leon Monk, J. Donald (James Donald), 1930- Tarski, Alfred Series: Studies in logic and the foundations of mathematics ; 64, 115 Publication details: Amsterdam : North-Holland, 1971 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.H415[00008031792], ... Place hold
	9.	Elementary induction on abstract structures by Yiannis N. Moschovakis by Moschovakis, Yiannis N Series: Studies in logic and the foundations of mathematics ; 77 Publication details: Amsterdam North-Holland Publishing Co. 1974 Availability: Not available: PERPUSTAKAAN TUN SERI LANANG: Checked out (1). Place hold
	10.	Equivalents of the axiom of choice, II / Herman Rubin and Jean E. Rubin by Rubin, Herman Rubin, Jean E Series: Studies in logic and the foundations of mathematics ; v.116 Publication details: Amsterdam : North-Holland, 1985 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA248.R75, ... Place hold
	11.	No cover image available Foundations of infinitesimal stochastic analysis / K.D. Stroyan and Jos e Manuel Bayod by Stroyan, K. D Bayod, Jose Manuel Series: Studies in logic and the foundations of mathematics ; vol. 119 Publication details: Amsterdam, New York, New York, Sole distributors for the U.S.A. and Canada, Elsevier Pub. Co., : North-Holland, 1986 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA274.2.S79[00008035698]. Place hold
	12.	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
	13.	Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-Hillel and Azriel Levey by Fraenkel, Abraham Adolf, 1891-1965 Bar-Hillel, Yehoshua Levy, Azriel Series: Studies in logic and the foundations of mathematics ; v.67 Edition: 2nd ed. Publication details: Amsterdam : North-Holland, 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA248.F7 1973. Place hold
	14.	No cover image available Fundamentals of generalized recursion theory / Melvin Fitting by Fitting, Melvin Chris Series: Publication details: Amsterdam : North-Holland Publishing Company, 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.6.F57, ... Place hold
	15.	Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al.]. by Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; v. 90. Publication details: Amsterdam : North-Holland Publishing Company, 1977 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.H32. Place hold
	16.	No cover image available Harvey Friedman's research on the foundations of mathematics / edited by L.A. Harrington ... et al. by Friedman, Harvey, 1948- Harrington, L. A Series: Studies in logic and the foundations of mathematics ; v. 117 Publication details: Amsterdam, New York, New York, N.Y., U.S.A., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. North-Holland 1985 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA8.6.H37. Place hold
	17.	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
	18.	Intuitionism and proof theory : Proceedings of the Summer Conference at Buffalo N. Y. 1968 / edited by A. Kino, J. Myhill and R. E. Vesley. by Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam : North-Holland Pub., 1970 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.C742 1968, ... Place hold
	19.	Logic Colloquium'78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon by Logic Colloquium (1978 : Mons) Boffa, Maurice Dalen, D. van 1932- McAloon, Kenneth Series: Studies in logic and the foundations of mathematics ; v. 97 Publication details: Amsterdam : North-Holland, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.A1L59 1978[00008031789]. Place hold
	20.	Logic Colloquium'82 : proceedings of the Colloquium held in Florence 23-28 August, 1982 / edited by G. Lolli, G. Longo and A. Marcja by Logic Colloquium (1982 : Florence, Italy) Lolli, G. (Gabriele) 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa) Series: Studies in logic and the foundations of mathematics ; v.112 Publication details: Amsterdam : North-Holland, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.L64 1982. Place hold

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Your search returned 40 results.

Contact Us

Copyright ©The National University of Malaysia Library