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

Results
	1.	Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia/ edited by J. N. Crossley. by Crossley, John N Australian Mathematical Society Series: Lecture notes in mathematics (Springer-Verlag) ; 450. 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)
	2.	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)
	3.	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)
	4.	No cover image available 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)
	5.	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)
	6.	Logic Colloquium: symposium on logic held at Boston, 1972-73/ edited by R. Parikh. by Parikh, Rohit, 1936- Logic Colloquium (1972-1973 : Boston) Series: Lecture notes in mathematics (Springer-Verlag) ; 453. 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)
	7.	Mathematical logic: proceedings of the first Brazilian Conference/ edited by Ayda I. Arruda, Newton C. A. da Costa, Rolando Chuaqui. by Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da Chuaqui, R Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História de Ciência Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação Brazilian Conference on Mathematical Logic (1st : 1977 : Universidade Estadual de Campinas) Series: Lecture notes in pure and applied mathematics ; v. 39. Publication details: New York: M. Dekker, c1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	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)
	9.	Current issues in quantum logic/ edited by Enrico Beltrametti and Bas C. van Fraassen. by Beltrametti, E Van Fraassen, Bas C, 1941- Workshop on Quantum Logic (1979 : Erice, Italy) Series: Ettore Majorana international science series : Physical sciences ; v. 8. Publication details: New York: Plenum Press, c1981 Availability: Items available for loan: Castorina (1)Call number: 551.3 C976 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	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)
	11.	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)
	12.	Theoretical aspects of reasoning about knowledge: proceedings of the 1986 conference, March 19-22, 1986, Monterey, California/ edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery. by Halpern, Joseph Y, 1953- International Business Machines Corporation American Association for Artificial Intelligence United States. Office of Naval Research Association for Computing Machinery Publication details: Los Altos, Calif.: M. Kaufmann Publishers, c1986 Availability: Items available for loan: Castorina (1)Call number: 510.1 T396 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	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)
	14.	Cabal seminar 77-79: proceedings, Caltech-UCLA logic seminar 1977-79/ edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis. by Kechris, A. S, 1946- Martin, D. A. (Donald A.), 1940- Moschovakis, Yiannis N Series: Lecture notes in mathematics (Springer-Verlag) ; 839. Publication details: Berlin ; New York: Springer-Verlag, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	15.	Logic year 1979-80, the University of Connecticut, USA/ edited by M. Lerman, J. H. Schmerl, and R. I. Soare. by Lerman, M. (Manuel), 1943- Schmerl, J. H. (James Henry), 1940- Soare, R. I. (Robert Irving), 1940- Series: Lecture notes in mathematics (Springer-Verlag) ; 859. Publication details: Berlin ; New York: Springer-Verlag, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	16.	No cover image available 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)
	17.	Perspectives on the history of mathematical logic/ Thomas Drucker, editor. by Drucker, Thomas American Mathematical Society Publication details: Boston: Birkhäuser, c1991 Availability: Items available for loan: Castorina (1)Call number: 510.9 P467 1991 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	No cover image available No cover image available No cover image available Logic, methodology, and philosophy of science; proceedings./ Edited by Ernest Nagel, Patrick Suppes [and] Alfred Tarski. by Nagel, Ernest, 1901- [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science National Academy of Sciences (U.S.) International Congress for Logic, Methodology and Philosophy of Science (1960 : Stanford, Calif.) Publication details: Stanford, Calif.: Stanford University, 1962 Availability: Items available for loan: Castorina (1)Call number: 510.1 L832 1962 IMPA. Found in Open Library: Place hold Add to cart (remove)
	19.	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)
	20.	Logical reasoning with diagrams/ edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]. by Allwein, Gerard, 1956- Barwise, Jon Series: Studies in logic and computation Publication details: New York: Oxford University Press, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 A532 1996 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 324 results.