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

Results
	101.	No cover image available No cover image available No cover image available Symbolic logic and The game of logic: (both books bound as one)/ by Lewis Carroll. by Carroll, Lewis, 1832-1898 Series: Mathematical recreations of Lewis Carroll ; v. 1 Publication details: New York: Dover, 1958 Availability: Items available for loan: Castorina (1)Call number: 510.76 C319s 1958 IMPA. Place hold Add to cart (remove)
	102.	No cover image available No cover image available No cover image available Critica dei principi della matematica e questioni di logica. by Cassina, Ugo Publication details: Roma: Cremonese, 1961 Availability: Items available for loan: Castorina (1)Call number: 511.3 C345c 1961 IMPA. Place hold Add to cart (remove)
	103.	Meaning and existence in mathematics/ Charles Castonguay. by Castonguay, Charles Series: Library of exact philosophy ; 9. Publication details: New York: Springer-Verlag, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 C354m 1972 IMPA. Found in Open Library: Place hold Add to cart (remove)
	104.	No cover image available No cover image available No cover image available Symbolic logic and mechanical theorem proving/ [by] Chin-liang Chang [and] Richard Char-Tung Lee. by Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- [joint author.] Series: Computer science and applied mathematics Publication details: New York: Academic Press, [1973] Availability: Items available for loan: Castorina (1)Call number: 511.3 C456s 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	105.	Constructibility and mathematical existence/ Charles S. Chihara. by Chihara, Charles S, 1932- Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1990 Availability: Items available for loan: Castorina (1)Call number: 511.3 C534c 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	106.	Mathematical logic/ Ian Chiswell and Wilfrid Hodges. by Chiswell, Ian, 1948- Hodges, Wilfrid Series: Oxford texts in logic ; 3 Publication details: London; New York: Oxford University Press, 2007 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 511.3 C542m 2007 IMPA. Found in Open Library: Place hold Add to cart (remove)
	107.	No cover image available No cover image available No cover image available Introduction to mathematical logic. Vol. I/ Alonzo Church. by Church, Alonzo, 1903- Series: Princeton mathematical series ; 17. Publication details: Princeton, N.J.: Princeton University Press, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 C561i 1956 IMPA. Place hold Add to cart (remove)
	108.	No cover image available No cover image available No cover image available The calculi of lambda-conversion/ by Alonzo Church. by Church, Alonzo, 1903- Series: Annals of mathematics studies ; 6. Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1941 Availability: Items available for loan: Castorina (1)Call number: 511.3 C561c 1941 IMPA. Found in Open Library: Place hold Add to cart (remove)
	109.	No cover image available No cover image available No cover image available O método dos isomorfismos parciais: um estudo da expressabilidade matemática/ José Carlos Cifuentes. by Cifuentes, José Carlos Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História de Ciência Series: Coleção CLE ; v. 10. Edition: 1. ed. Publication details: Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 1992 Availability: Items available for loan: Castorina (1)Call number: 511.3 C569m 1992 IMPA. Place hold Add to cart (remove)
	110.	No cover image available No cover image available No cover image available Moisil algebras/ by Roberto Cignoli. by Cignoli, Roberto Series: Notas de lógica matemática ; 27. Publication details: Bahía Blanca, Argentina: Instituto de Matematica, Universidad Nacional del Sur, 1970 Availability: Items available for loan: Castorina (1)Call number: 512.324 C571m 1970 IMPA. Place hold Add to cart (remove)
	111.	Computability and logic/ Daniel E. Cohen. by Cohen, Daniel E Series: Ellis Horwood series in mathematics and its applications Publication details: Chichester: New York: E. Horwood, Halsted Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 C678c 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	112.	No cover image available No cover image available No cover image available Set theory and the continuum hypothesis/ [by] Paul J. Cohen. by Cohen, Paul J, 1934- Series: Mathematics lecture note series Publication details: New York: W.A. Benjamin, [1966] Availability: Items available for loan: Castorina (1)Call number: 511.322 C678s 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	113.	Conference in Mathematical Logic, London '70/ Edited by Wilfrid Hodges. by Conference in Mathematical Logic (1970: Bedford College) Hodges, Wilfrid [ed.] Series: Lecture notes in mathematics (Springer-Verlag) ; 255. Publication details: Berlin: New York: Springer-Verlag, 1972 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	114.	No cover image available No cover image available No cover image available A primer of formal logic/ by John Cooley, Ph.D. by Cooley, John C. (John Cleveland), 1903- Publication details: New York: The Macmillan Company, 1942 Availability: Items available for loan: Castorina (1)Call number: 511.3 C774p 1942 IMPA. Found in Open Library: Place hold Add to cart (remove)
	115.	No cover image available No cover image available No cover image available Mathematical logic: a course with exercises/ René Cori and Daniel Lascar ; translated by Donald H. Pelletier. by Cori, René Lascar, D. (Daniel), 1942- Language: English Original language: French Publication details: Oxford: New York: Oxford University Press, 2000-2001 Availability: Items available for loan: Castorina (2)Call number: 511.3 C798m 2001 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	116.	No cover image available No cover image available No cover image available L'algèbre de la logique/ par Louis Couturat. by Couturat, Louis, 1868-1914 Series: Scientia. Série physico-mathématique ; no 24. Edition: 2. éd. Publication details: [Paris]: Gauthier-Villars, 1914] Availability: Items available for loan: Castorina (1)Call number: 511.3 C872a 1914 IMPA. Place hold Add to cart (remove)
	117.	Mathematical logic : exercises and solutions / Laszlo Csirmaz, Zalán Gyenis. by Csirmaz, László [author.] Gyenis, Zalán [author.] Series: Problem books in mathematics Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2022] Availability: Items available for loan: Castorina (1)Call number: 511.3 C958m 2022 IMPA. Lists: Novos títulos. Found in Open Library: Place hold Add to cart (remove)
	118.	No cover image available No cover image available No cover image available Leçons de logique algébrique/ Haskell B. Curry. by Curry, Haskell B. (Haskell Brooks), 1900- Series: Collection de logique mathématique : sér. A ; 2. Publication details: Paris: Gauthier-Villars, 1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976l 1952 IMPA. Found in Open Library: Place hold Add to cart (remove)
	119.	No cover image available No cover image available No cover image available Foundations of mathematical logic/ Haskell B. Curry. by Curry, Haskell B. (Haskell Brooks), 1900- Series: McGraw-Hill series in higher mathematics Publication details: New York: McGraw-Hill, [1963] Availability: Items available for loan: Castorina (1)Call number: 511.3 C976f 1963 IMPA. Found in Open Library: Place hold Add to cart (remove)
	120.	No cover image available No cover image available No cover image available A theory of formal deducibility. by Curry, Haskell B. (Haskell Brooks), 1900- Series: Notre Dame mathematical lectures ; no. 6. Publication details: Notre Dame, Ind.: 1950 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976t 1950 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.