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

Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Your search returned 16 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available 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 Material type: Text; Format: print Publication details: Amsterdam North-Holland 1985 Availability: Items available for loan: Matheson Library (1)Call number: 511.322 R896e. Add to cart (remove)
	2.	No cover image available Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 edited by L. Jonathan Cohen ... [et al.] by International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan) Series: Studies in logic and the foundations of mathematics ; v. 104 Material type: Text; Format: print Publication details: Amsterdam North-Holland Pub. 1982 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 I61L 1979. Add to cart (remove)
	3.	No cover image available Aspects of inductive logic / Jaako Hintikka, Patrick Suppes. by Hintikka, Jaakko Suppes, Patrick Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print Publication details: Amsterdam : North Holland Pub., [1967] Availability: Items available for loan: Matheson Library (1)Call number: 161 A838. Add to cart (remove)
	4.	Foundations of set theory / [By] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen. by Fraenkel, Abraham Adolf, 1891-1965 Bar-Hillel, Yehoshua, joint author L evy, Azriel, joint author Series: Studies in logic and the foundations of mathematics ; v. 67 Edition: 2d rev. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam, Noord-Hollandsche U.M., 1973 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 F799f 1973. Add to cart (remove)
	5.	Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 / edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner. by International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria) Dorn, Georg Weingartner, Paul Marcus, Ruth Barcan Series: Studies in logic and the foundations of mathematics ; v. 114 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1986 Availability: Items available for loan: Matheson Library (1)Call number: 501 I61. Add to cart (remove)
	6.	Intensional mathematics / edited by Stewart Shapiro. by Shapiro, Stewart, 1951- Series: Studies in logic and the foundations of mathematics ; v. 113 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1985 Availability: Items available for loan: Matheson Library (1)Call number: 511 I61. Add to cart (remove)
	7.	The lambda calculus: its syntax and semantics / H.P. Barendregt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v.103 Edition: Revised edition Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub. Co., 1984 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 B248L 1984. Add to cart (remove)
	8.	No cover image available Constructivism in mathematics: an introduction / A.S. Troelstra and D. van Dalen. by Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Series: Studies in logic and the foundations of mathematics ; v. 121, etc. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1988 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 T641c. Add to cart (remove)
	9.	No cover image available Constructivism in mathematics : an introduction. Volume I / A.S. Troelstra, D. van Dalen. by Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Series: Studies in logic and the foundations of mathematics ; v. 121, etc. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 T843c. Add to cart (remove)
	10.	Topoi, the categorial analysis of logic / Robert Goldblatt. by Goldblatt, Robert Series: Studies in logic and the foundations of mathematics ; v. 98 Publication details: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979 Availability: Items available for loan: Matheson Library (1)Call number: 512.55 G618t. Add to cart (remove)
	11.	No cover image available Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch. by Feys, Robert Fitch, Frederic Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print Publication details: Amsterdam : North-Holland, c1969 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 D554. Add to cart (remove)
	12.	Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler. by Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; v. 62 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub. Co., 1971 Availability: Not available: Matheson Library: Lost (1). Add to cart (remove)
	13.	Set theory : an introduction to large cardinals / Frank R. Drake. by Drake, Frank R Series: Studies in logic and the foundations of mathematics ; vol. 76 Material type: Text; Format: print Publication details: Amsterdam : North-Holland, c1974 Availability: Items available for loan: Matheson Library (1)Call number: 511.322 D761. Add to cart (remove)
	14.	No cover image available Set theory / K. Kuratowski and A. Mostowski. Translated from Polish by M. Mrhaczy'nski. by Kuratowski, Kazimierz Mostowski, Andrzej Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1967 Availability: Items available for loan: Matheson Library (1)Call number: 512.817 K96. Add to cart (remove)
	15.	Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin. by Rubin, Herman Rubin, Jean E Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1963 Availability: Items available for loan: Matheson Library (1)Call number: 511.322 R896. Add to cart (remove)
	16.	Handbook of mathematical logic / edited by Jon Barwise. by Barwise, Jon Series: Studies in logic and the foundations of mathematics ; v. 90 Material type: Text; Format: print Publication details: Amsterdam : North-Holland, 1977 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 H236. Add to cart (remove)

Welcome to the Matheson Library

Learn and Grow

Connect with Us

Discover New Worlds

Digital Resources

Collaborate and Innovate

Events and Workshops

History and Heritage

Our Mission

Future Ready

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 16 results.