Results of search for 'an:9813' › IMPA Library catalog

Results
	1.	Tarski Symposium: an international symposium held to honor Alfred Tarski on occasion of his seventieth birthady/ Edited by Leon Henkin , et al. by Henkin, Leon [ed.] Addison, John [ed.] Chang, Chen Chung [ed.] Craig, William [ed.] Scott, Dana S [ed.] Vaught, Robert L [ed.] Series: Proceedings of symposia in pure mathematics ; v. 25. Publication details: Providence, R.I.: American Mathematical Society, 1974 Availability: Items available for loan: Castorina (1)Call number: 510.92 T193 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Mathematical logic and theoretical computer science/ edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. by Kueker, D. W, 1943- Lopez-Escobar, Edgar G. K, 1937- Smith, Carl, 1950- University of Maryland, College Park. Dept. of Mathematics Series: Lecture notes in pure and applied mathematics ; v. 106. Publication details: New York: M. Dekker, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	No cover image available No cover image available Aspects of mathematical logic.: III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari. by Centro Internazionale Matematico Estivo Publication details: Roma: Cremonese, 1969 Availability: Items available for loan: Castorina (1)Call number: 511 A838 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Logic, automata, and algorithms/ Mark A. Aiserman [and others] ; translated [from the Russian] by Scripta Technica, Inc ; translation editor George M. Kranc. by Tal', Aleksey A Smirnova, Irina M Rozonoer, Lev I Gusev, Leonid A Aizerman, M. A., (Mark Aronovich), 1913- Series: Mathematics in science and engineering ; vol.79. Language: English Original language: Russian Publication details: New York London: Academic Press, 1971 Availability: Items available for loan: Castorina (1)Call number: 512 L832 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Handbook of mathematical logic/ edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]. by Barwise, Jon Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; v. 90. Publication details: Amsterdam ; New York: North-Holland, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Frege and Gödel; two fundamental texts in mathematical logic/ Jean Van Heijenoort. by Frege, Gottlob, 1848-1925 Van Heijenoort, Jean, 1912- Godel, Kurt, 1906-1978 Language: engger Publication details: Cambridge, Mass.: Harvard University Press, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 F858 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C. A. da Costa/ edited by Luiz Paulo de Alcantara. by Costa, Newton C. A. da Alcantara, Luiz Paulo de, 1944- Series: Lecture notes in pure and applied mathematics ; v. 94. Language: engfre Publication details: New York: M. Dekker, c1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Studies in logic/ by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach. by Peirce, Charles S. (Charles Sanders), 1839-1914 Johns Hopkins University Series: Foundations of semiotics ; v. 1. Publication details: Amsterdam ; Philadelphia: J. Benjamins Pub. Co., 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 S933 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available Logic and algorithmic: an international symposium held in honour of Ernst Specker. by Specker, Ernst, 1920- Series: L'Enseignement mathématique ; 30. Language: enggerfre Publication details: Genève: L'Enseignement mathématique, c1982 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	10.	Studies in foundations and combinatorics/ edited by Gian-Carlo Rota. by Rota, Gian-Carlo Series: Advances in mathematics. Supplementary studies; ; 1. Publication details: New York: Academic Press, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.6 S933 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	Handbook of logic and language/ edited by Johan van Benthem, Alice ter Meulen. by Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter Publication details: Amsterdam; New York; Cambridge, Mass.: Elsevier; MIT Press, 1997 Other title: Handbook of logic & language Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available What is mathematical logic? J. N. Crossley ... [and others]. by Crossley, John N Publication details: London: Oxford University Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 W555 1972 IMPA. Place hold Add to cart (remove)
	13.	No cover image available No cover image available Séminaire de complexité algorithmique et de logique 1986-1987-1988/ P. Michel, J.P. Ressayre. by Ressayre, J.-P. (Jean-Pierre) Series: Publications mathématiques de l'Université Paris VII Publication details: Paris: U.E.R. de Mathemátiques, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1988 IMPA. Place hold Add to cart (remove)
	14.	Logic of programs: workshop, ETH Zürich, May-July 1979/ edited by Erwin Engeler. by Engeler, Erwin Eidgenossische Technische Hochschule Zurich Series: Lecture notes in computer science ; 125. Publication details: Berlin ; New York: Springer, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available No cover image available Mathematical interpretation of formal systems/ Th. Skolem ... [and others] by Skolem, Th. (Thoralf), 1887-1963 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	Penser les mathématiques: séminaire de philosophie et mathématiques/ R. Apéry ... [et al.] ; textes préparés et annotés par François Guénard et Gilbert Lelièvre. by Apéry, R. (Roger) Guénard, François Lelievre, Gilbert Series: Points. Sciences; ; S29 Publication details: [Paris]: Seuil, c1982 Availability: Items available for loan: Castorina (1)Call number: 510.1 P418 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available Séminaire général de logique, 1983-1984/ F. Delon, D. Lascar, M. Parigot, [editeurs]. by Delon, F. (Françoise) Lascar, D. (Daniel), 1942- Parigot, M. (Michel) Université de Paris VII Series: Publications mathématiques de l'Université Paris VII ; 27. Publication details: [Paris]: U.E.R. de Mathemátiques, [1986?] Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1986 IMPA. Place hold Add to cart (remove)
	18.	No cover image available No cover image available Logic and foundations of mathematics/ dedicated to A. Heyting on his 70th birthday. by Heyting, A. (Arend), 1898- Publication details: Groningen: Wolters-Noordhoff, 1968 Availability: Items available for loan: Castorina (1)Call number: 510.92 L832 1968 IMPA. Place hold Add to cart (remove)
	19.	No cover image available No cover image available Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel/ edited by Jack J. Bulloff, Thomas C. Holyoke and S. W. Hahn. by Godel, Kurt, 1906-1978 Bulloff, Jack J [ed.] Holyoke, Thomas C [ed.] Hahn, S. W. (Samuel Wilfred), 1921- [ed.] Ohio Academy of Science. Section L (Mathematical Sciences) Publication details: Berlin: Heidelberg: New York: Springer, 1969 Availability: Items available for loan: Castorina (1)Call number: 510.92 F771 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available E.W. Beth memorial colloquium: logic and foundations of science, Paris, Institut Henri Poincaré, 19-21 May 1964/ edited by Jean Louis Destouches. by Destouches, Jean-Louis [ed.] Publication details: Dordrecht: Reidel, 1967 Availability: Items available for loan: Castorina (1)Call number: 510.92 B562 1967 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 265 results.