Your search returned 36 results.

Results
21.		Logic, methodology and philosophy of science: proceedings / Ed. by Yehoshua Bar-Hillel. by International Congress for Logic, Methodology, and philosophy of sci ence (1964: Jerusalem) Bar-Hillel, Yehoshua Series: studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub. Co., , 1965 Availability: No items available. Save to lists Add to cart (remove)
22.		Intuitionism : an introduction / Arend Heyting by Heyting, Arend, 1898- Series: studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub. Co., , 1956 Availability: No items available. Save to lists Add to cart (remove)
23.		Equivalents of the axiom of choice / [by] 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 Pub. Co., 1963 Availability: No items available. Save to lists Add to cart (remove)
24.		Abstract set theory / Abraham A. Frankel by Fraenkel, Abraham Adolf, 1891- Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub co., 1953 Availability: No items available. Save to lists Add to cart (remove)
25.		Foundations of set theory / by Abraham A. Frankel and Yehoshua Ba r-Hillel by Fraenkel, Abraham Adolf, 1891- Bar-Hillel, Yehoshua Series: STudies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub co., 1958 Availability: No items available. Save to lists Add to cart (remove)
26.		Introduction to model theory and to the metamathematics of algebra. by Robinson, Abraham, 1918-1974 Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam, North-Holland Pub. Co., 1963 Availability: No items available. Save to lists Add to cart (remove)
27.		Solvable cases of the decision problem / Wilhelm Ackermann by Ackermann, Wilhelm, 1896- Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland Pub Co. , 1954 Availability: No items available. Save to lists Add to cart (remove)
28.	Image from Amazon.com	Undecidable theoris / by Alfred Tarski ; In collaboration with An drzej Mostowski and Raphael M. Robinson. by Tarski, Alfred Series: Studies in logic and the foundations of mathematics ; Material type: Text Publication details: Amsterdam : North-Holland Pub. Co., 1953 Availability: Items available for loan: College of Natural Sciences Library- CONAS (1)Call number: 510.1 TAR. Place hold Save to lists Add to cart (remove)
29.		Recursive number theory : a development of recursive arithmetic i n a logic-free equation calculus / R. L. Goodstein. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics ; Material type: Text Publication details: Amsterdam : North-Holland Pub. Co., 1957 Availability: Items available for loan: Main Library - Open Shelves (1). Place hold Save to lists Add to cart (remove)
30.	Image from Amazon.com	Classification theory and the number of non-isomorphic models / S . Shelah. by Shelah, Saharon Series: Studies in logic and the foundations of mathematics ; v. 92 Material type: Text Publication details: Amsterdam ; New York : New York : New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier/North-Holland , sole distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1978 Availability: Items available for loan: Main Library - Open Shelves (1). Place hold Save to lists Add to cart (remove)
31.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 511.3 BAR. Place hold Save to lists Add to cart (remove)
32.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
33.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
34.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
35.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
36.		Contributions to mathematical logic. Proceedings of the Logic Col loquium, Hannover 1966. Edited by H. Arnold Schmidt, K. Schutte [and ] H.J. Thiele. by Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold [ ed.] Schutte, K. (Kurt) [ ed.] Thiele, H. J. (Helmut J.) [ ed.] International Union of the History and Philosophy of Science. Div ision of Logic, Methodology and Philosophy of Science Series: Studies in logic and the foundations of mathematics Material type: Text Publication details: Amsterdam, North-Holland, 1968 Availability: Items available for loan: College of Natural Sciences Library- CONAS (1)Call number: 511.3 LOG. Place hold Save to lists Add to cart (remove)