Results of search for 'ccl=an:23728' › IMPA Library catalog

Results
	41.	No cover image available No cover image available Compound statements and mathematical logic/ [by] Vincent E. Cangelosi. by Cangelosi, Vincent E Series: Merrill's mathematics and quantitative methods series Publication details: Columbus, Ohio: C.E. Merrill Books, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 C222c 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	42.	No cover image available No cover image available Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen/ Rudolf Carnap. by Carnap, Rudolf, 1891-1970 Edition: 2. neubearb. und erweiterte Aufl. Publication details: Wien: Springer, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 C288e 1960 IMPA. Place hold Add to cart (remove)
	43.	No cover image available No cover image available Introduction to symbolic logic and its applications/ Translated by William H. Meyer and John Wilkinson. by Carnap, Rudolf, 1891-1970 Language: engund Publication details: New York: Dover, [1958] Availability: Items available for loan: Castorina (1)Call number: 511.3 C288i 1958 IMPA. Found in Open Library: Place hold Add to cart (remove)
	44.	No cover image available No cover image available Logique à trois valeurs/ logique à seuil./ Michel Carvallo. by Carvallo, Michel Series: Collection de mathématiques économiques ; fasc. 5. Publication details: Paris: Gauthier-Villars, 1968 Availability: Items available for loan: Castorina (2)Call number: 511.3 C331l 1968 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	45.	Algebraic approach to tense operators/ Ivan Chajda, Jan Paseka. by Chajda, Ivan Paseka, Jan Series: Research and exposition in mathematics ; 35. Publication details: Lemgo, Germany: Heldermann Verlag, 2015 Availability: Items available for loan: Castorina (1)Call number: 511.3 C435a 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	46.	Model theory/ C. C. Chang, H. J. Keisler. by Chang, Chen Chung Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; v. 73. Edition: 3rd ed. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1990 Availability: Items available for loan: Castorina (1)Call number: 511.3 C456m 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	47.	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)
	48.	Modal logic: an introduction/ Brian F. Chellas. by Chellas, Brian F Publication details: Cambridge, UK: New York: Cambridge University Press, [1980] Availability: Items available for loan: Castorina (1)Call number: 511.3 C516m 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	49.	Finite structures with few types/ Gregory Cherlin and Ehud Hrushovski. by Cherlin, Gregory L, 1948- Hrushovski, Ehud, 1959- Series: Annals of mmathematics studies ; 152 Publication details: Princeton, N.J.: Princeton University Press, c2003 Availability: Items available for loan: Castorina (1)Call number: 511.3 C521f 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	50.	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)
	51.	Recursion theory: computational aspects of definability/ Chi Tat Chong, Liang Yu. by Chong, C.-T. (Chi-Tat), 1949- Yu, Liang (Professor of mathematics) Series: De Gruyter series in logic and its applications ; 8. Publisher: Berlin; Boston: Walter de Gruyter, [2015] Availability: Items available for loan: Castorina (1)Call number: 511.3 C548r 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	52.	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)
	53.	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)
	54.	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)
	55.	No cover image available No cover image available An introduction to logic and scientific method/ by Morris R. Cohen and Ernest Nagel. by Cohen, Morris Raphael, 1880-1947 Nagel, Ernest, 1901- [joint author.] Publication details: New York: Harcourt, Brace and company, [c1934] Availability: Items available for loan: Castorina (1)Call number: 511.3 C678i 1934 IMPA. Found in Open Library: Place hold Add to cart (remove)
	56.	No cover image available No cover image available The theory of ultrafilters/ W. W. Comfort, S. Negrepontis. by Comfort, W. W. (William Wistar), 1933- Negrepontis, S. (Stylianos) [joint author.] Series: Grundlehren der mathematischen Wissenschaften ; Bd. 211 Publication details: Berlin ; New York: Springer-Verlag, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 C732t 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	57.	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)
	58.	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)
	59.	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)
	60.	Combinatorial functors/ J. N. Crossley [and] Anil Nerode. by Crossley, John N Nerode, Anil, 1932- [joint author.] Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 81. Publication details: Berlin: New York: Springer-Verlag, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 C951c 1974 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 221 results.