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

Results
	21.	No cover image available No cover image available No cover image available Combinatory logic/ Haskell B. Curry, Robert Feys. With two sections by William Craig. by Curry, Haskell B. (Haskell Brooks), 1900- Feys, Robert, 1889- [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1968-72 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976c 1972 IMPA. Place hold Add to cart (remove)
	22.	Set theory: an introduction to large cardinals/ Frank R. Drake. by Drake, F. R. (Frank Robert) Series: Studies in logic and the foundations of mathematics ; v. 76. Publication details: Amsterdam ;: New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.322 D761s 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	23.	No cover image available No cover image available No cover image available The propositional logic of Boethius. by Durr, Karl, 1888- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1951 Availability: Items available for loan: Castorina (2)Call number: 511.3 D965p 1951 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	24.	No cover image available No cover image available No cover image available Dictionary of symbols of mathematical logic/ Edited by Robert Feys and Frederic B. Fitch. by Feys, Robert, 1889- Fitch, Frederic B. (Frederic Brenton), 1908-1987 [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 F435d 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	25.	Fundamentals of generalized recursion theory/ Melvin Fitting. by Fitting, Melvin, 1942- Series: Studies in logic and the foundations of mathematics ; v. 105. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 F547f 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	26.	No cover image available No cover image available No cover image available Abstract set theory. by Fraenkel, Abraham Adolf, 1891-1965 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam; North-Holland, 1953 Availability: Items available for loan: Castorina (2)Call number: 511.322 F799a 1953 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	27.	No cover image available No cover image available No cover image available Foundations of set theory/ Abraham A. Fraenkel and Yehoshua Bar-Hillel. by Fraenkel, Abraham Adolf, 1891-1965 Bar-Hillel, Yehoshua [joint author.] Series: Studies in logic and the foundations of mathematics ; v. 67. Edition: 2d rev. ed. Publication details: Amsterdam ;: North-Holland, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.322 F799f 1973 IMPA. Place hold Add to cart (remove)
	28.	No cover image available No cover image available No cover image available Lincos: design of a language for cosmic intercourse. Part I. by Freudenthal, Hans, 1905- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 F889l 1960 IMPA. Place hold Add to cart (remove)
	29.	No cover image available No cover image available No cover image available The collected papers of Gerhard Gentzen/ edited by M. E. Szabo. by Gentzen, Gerhard Series: Studies in logic and the foundations of mathematics ; 55. Publication details: Amsterdam: North-Holland, 1969 Availability: Items available for reference: Castorina: Not For Loan (1). Add to cart (remove)
	30.	No cover image available No cover image available No cover image available Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.352 G655r 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	31.	No cover image available No cover image available No cover image available Recursive analysis. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1961 Availability: Items available for loan: Castorina (1)Call number: 512 G655r 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	32.	Boole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic, and probability theory/ Theodore Hailperin. by Hailperin, Theodore Series: Studies in logic and the foundations of mathematics ; v. 85. Edition: 2nd ed., rev. and enl. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 H151b 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	33.	No cover image available No cover image available No cover image available Cylindric algebras/ Leon Henkin, J. Donald Monk and Alfred Tarski. by Henkin, Leon Monk, J. Donald (James Donald), 1930- [joint author.] Tarski, Alfred, 1901-1983 [joint author.] Series: Studies in logic and the foundations of mathematics ; v. 64, 115. Publication details: Amsterdam ; North-Holland, 1971-1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 H513c 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	34.	No cover image available No cover image available No cover image available Intuitionism; an introduction. by Heyting, A. (Arend), 1898- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 H621i 1956 IMPA. Found in Open Library: Place hold Add to cart (remove)
	35.	No cover image available No cover image available No cover image available Aspects of inductive logic/ edited by Jaakko Hintikka [and] Patrick Suppes. by Hintikka, Jaakko, 1929- Suppes, Patrick, 1922- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 H666a 1966 IMPA. Place hold Add to cart (remove)
	36.	No cover image available No cover image available No cover image available The problem of inductive logic/ edited by Imre Lakatos. by International Colloquium in the Philosophy of Science (1965: Bedford College) Lakatos, Imre [ed.] Bedford College British Society for the Philosophy of Science London School of Economics and Political Science International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 P962 1968 IMPA. Place hold Add to cart (remove)
	37.	Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. Ed. by Yehoshua Bar-Hillel. by International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem, Israel) Bar-Hillel, Yehoshua [ed.] Akademyah ha-le umit hayisre elit le-mada im International Mathematical Union Einstein Institute of Mathematics Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.322 M426 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	38.	No cover image available No cover image available No cover image available Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967/ edited by B. Van Rootselaar and J. F. Staal. by International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) [ed.] Staal, Frits Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	39.	No cover image available No cover image available No cover image available Logic, methodology and philosophy of science: Proceedings/ edited by Yehoshua Bar-Hillel. by International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalém) Bar-Hillel, Yehoshua [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Akademyah ha-le umit hayisre elit le-mada im Universitah ha-Ivrit bi-Yerushalayim Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	40.	Logic, methodology and philosophy of science: Proceedings/ ed. by Patrick Suppes [a. o.]. by International Congress for Logic, Methodology, and Philosophy of Science (4th :: 1971 :: Bucharest, Romania) Suppes, Patrick, 1922- [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Academia Republicii Socialiste Romania Series: Studies in logic and the foundations of mathematics ; v. 74. Language: engfregerrus Publication details: Amsterdam: New York: North-Holland, American Elsevier, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 89 results.