Results of search for 'ccl=su:"Logic, Symbolic and mathematical"'

Results
	181.	No cover image available No cover image available No cover image available Écrits logigues/ Avec une préface de Jean Van Heijenoort ... une notice biographique par Claude Chevalley et Albert Lautmann, et une note sur la pensée de Herbrand par Claude Chevalley ... by Herbrand, Jacques, 1908-1931 Series: Bibliothèque de philosophie contemporaine. Logique et philosophie des sciences Publication details: Paris: Presses Universitaires de France, 1968 Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)
	182.	Introduction to mathematical logic/ Translated from German by Diana Schmidt. by Hermes, Hans Series: Universitext Language: engger Publication details: Berlin: New York: Springer-Verlag, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.3 H553i 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	183.	No cover image available No cover image available No cover image available Eine Termlogik mit Auswahloperator/ Hans Hermes. by Hermes, Hans Series: Lecture notes in mathematics (Springer-Verlag) ; 6. Publication details: Berlin; New York: Springer-Verlag, 1965 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	184.	No cover image available No cover image available No cover image available Grundzüge der theoretischen Logik/ D. Hilbert und W. Ackermann. by Hilbert, David, 1862-1943 Ackermann, W. (Wilhelm), 1896- [joint author.] Series: Grundlehren der mathematischen Wissenschaften ; Bd. 27 Edition: 3, verb. Aufl. Publication details: Berlin: Springer, 1949-59 Availability: Items available for loan: Castorina (2)Call number: 511.3 H641g 1949 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	185.	No cover image available No cover image available No cover image available Principles of mathematical logic/ by D. Hilbert and W. Ackermann; translated from the German by Lewis M. Hammond, George G. Leckie [and] F. Steinhardt. Edited and with notes by Robert E. Luce. by Hilbert, David, 1862-1943 Ackermann, W. (Wilhelm), 1896- [joint author.] Language: engger Publication details: New York: Chelsea, 1950 Availability: Items available for loan: Castorina (1)Call number: 511.3 H641p 1950 IMPA. Found in Open Library: Place hold Add to cart (remove)
	186.	No cover image available No cover image available No cover image available Grundzüge der theoretischen Logik/ von D. Hilbert und W. Ackermann. by Hilbert, David, 1862-1943 Ackermann, W. (Wilhelm), 1896- [joint author.] Series: Grundlehren der mathematischen Wissenschaften ; Bd. 27. Edition: 2, verb. Aufl. Publication details: New York: Dover, 1946 Availability: Items available for loan: Castorina (1)Call number: 511.3 H641g 1946 IMPA. Found in Open Library: Place hold Add to cart (remove)
	187.	No cover image available No cover image available No cover image available David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933/ general editors, William Ewald ... [et al.]. by Hilbert, David, 1862-1943 Ewald, William Bragg, 1925- Hallett, Michael, 1930- Majer, Ulrich Sieg, Wilfried, 1945- Language: German, English Publication details: Berlin; New York: Springer, c2004 Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)
	188.	A first journey through logic/ Martin Hils, Francois Loeser. by Hils, Martin [author.] Loeser, François [author.] Series: Student mathematical library ; volume 89. Publisher: Providence, Rhode Island: American Mathematical Society, [2019] Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	189.	Proofs of the Cantor-Bernstein Theorem: a mathematical excursion/ Arie Hinkis. by Hinkis, Arie Series: Science networks historical studies ; v. 45. Publication details: [Basel]; Basel: Birkhäuser; Springer, 2013 Availability: Items available for loan: Castorina (1)Call number: 510.92 H663p 2013 IMPA. Found in Open Library: Place hold Add to cart (remove)
	190.	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)
	191.	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)
	192.	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)
	193.	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. Publication details: Amsterdam ; New York: Warszawa: New York: North-Holland, PWN-Polish Scientific Publishers, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	194.	ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974/ edited by G. H. Müller, A. Oberschelp, K. Potthoff. by International Summer Institute and Logic Colloquium (1974: University of Kiel) Müller, G. H. (Gert Heinz), 1923- Oberschelp, Arnold Potthoff, Karl Series: Lecture notes in mathematics (Springer-Verlag) ; 499. Language: engfre Publication details: Berlin; New York: Springer-Verlag, 1975 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	195.	No cover image available No cover image available No cover image available Modelle der Mengenlehre: Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms. Ausgearb. von Franz Josef Leven/ Ronald Bjorn Jensen.. by Jensen, Ronald Björn Series: Lecture notes in mathematics (Springer-Verlag) ; 37. Publication details: Berlin: Springer, 1967 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	196.	Notes on logic and set theory/ P. T. Johnstone. by Johnstone, P. T Series: Cambridge mathematical textbooks Publication details: Cambridge, UK: New York: Cambridge University Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 J73n 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	197.	The applicative realm/ Reinhard Kahle. by Kahle, Reinhard, 1967- Universidade de Coimbra - Publicações do Centro de Matemática Series: Textos de matemática ; 40 Publication details: Coimbra: Departamento de Matemática da Universidade de Coimbra, 2007 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	198.	No cover image available No cover image available No cover image available Logic; techniques of formal reasoning/ Donald Kalish and Richard Montague. by Kalish, Donald Montague, Richard [joint author.] Publication details: New York: Harcourt, Brace & World, [1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 K14l 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	199.	No cover image available No cover image available No cover image available Languages with expressions of infinite length. by Karp, Carol Ruth Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1964 Availability: Items available for loan: Castorina (1)Call number: 511.3 K92e 1964 IMPA. Place hold Add to cart (remove)
	200.	No cover image available No cover image available No cover image available First-order functional calculus/ by G. B. Keene. by Keene, G. B. (Geoffrey Bourton) Series: Monographs in modern logic Publication details: London: New York: Routledge & K. Paul, Dover, [1966, c1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 K26f 1964 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 326 results.