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

Results
	81.	No cover image available No cover image available No cover image available Combinatory logic/ Haskell B. Curry, Robert Feys. With two sections by William Craig. by Curry, Haskell B. (Haskell Brooks), 1900- Feys, Robert, 1889- [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1968-72 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976c 1972 IMPA. Place hold Add to cart (remove)
	82.	Logic and structure/ Dirk van Dalen. by Dalen, D. van (Dirk), 1932- Series: Universitext Edition: 2nd ed. Publication details: Berlin ; New York: Springer-Verlag, c1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	83.	Logic and structure/ Dirk van Dalen. by Dalen, D. van (Dirk), 1932- Series: Universitext Edition: 3rd augm. ed. Publication details: Berlin; New York: Springer-Verlag, c1994 Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	84.	No cover image available No cover image available No cover image available Lecture notes on mathematical logic: Fall 1959/ Based on student notes by Allen Weingarten. by Davis, Martin, 1928- Weingarten, Allen Courant Institute of Mathematical Sciences Publication details: [New York]: New York University, [1959] Availability: Items available for loan: Castorina (1)Call number: 511.3 D263l 1959 IMPA. Place hold Add to cart (remove)
	85.	No cover image available No cover image available No cover image available Matematicka logika. by Devidé, Vladimir Series: Posebna izdanja (Matematicki institut (Belgrade, Serbia)) ; knj. 3. Publication details: Beograd: Matematisk Institut, Aarhus Universitet, 1964- Availability: Items available for loan: Castorina (1)Call number: 511.3 D492m 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	86.	Institution-independent Model Theory [electronic resource]/ by Razvan Diaconescu. by Diaconescu, Razvan SpringerLink (Online service) Series: Studies in Universal Logic Source: Springer eBooks ; Format: electronic available online Publication details: Basel: Birkhäuser Basel, 2008 Online access: Click here to access online Availability: No items available. Found in Open Library: Add to cart (remove)
	87.	No cover image available No cover image available No cover image available Sur les algèbres de Hilbert/ Traduit de l'espagnol par Luisa Iturrioz. Préface de Jean Porte. by Diego, Antonio Series: Collection de logique mathématique : sér. A ; 21. Publication details: Paris: Gauthier-Villars, 1966 Availability: Items available for loan: Castorina (1)Call number: 512.5 D559s 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	88.	No cover image available No cover image available No cover image available Initiation a la logique/ Dominique Dubarle. by Dubarle, Dominique Series: Collection de logique mathématique : sér. A ; 13. Publication details: Paris: Gauthier-Villars, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.3 D813i 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	89.	Mathematical logic/ H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate texts in mathematics Language: English Original language: German Publication details: New York: Springer-Verlag, c1984 Availability: Items available for loan: Castorina (1)Call number: 511.3 E15m 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	90.	Mathematical logic/ H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate texts in mathematics Edition: 2nd ed. Language: English Original language: German Publication details: New York: Springer-Verlag, c1994 Availability: Items available for loan: Castorina (1)Call number: 511.3 E15m 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	91.	Cogwheels of the mind: the story of Venn diagrams/ A.W.F. Edwards ; foreword by Ian Stewart. by Edwards, A. W. F. (Anthony William Fairbank), 1935- Publication details: Baltimore: Johns Hopkins University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 511.33 E26c 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	92.	Axiomatic theory of sets and classes/ Murray Eisenberg. by Eisenberg, Murray, 1939- Publication details: New York: Holt, Rinehart and Winston, [1971] Availability: Items available for loan: Castorina (1)Call number: 511.322 E36a 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	93.	The best of all possible worlds: mathematics and destiny/ Ivar Ekeland. by Ekeland, I. (Ivar), 1944- Language: English Original language: French Publication details: Chicago: University of Chicago Press, 2006 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 509 E36b 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	94.	A mathematical introduction to logic/ Herbert B. Enderton. by Enderton, Herbert B Publication details: New York: Academic Press, [1972] Availability: Items available for loan: Castorina (1)Call number: 511.3 E56m 1972 IMPA. Found in Open Library: Place hold Add to cart (remove)
	95.	A mathematical introduction to logic/ Herbert B. Enderton. by Enderton, Herbert B Edition: 2nd ed. Publication details: San Diego: Harcourt/Academic Press, c2001 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 E56m 2001 IMPA. Found in Open Library: Place hold Add to cart (remove)
	96.	Computability: computable functions, logic, and the foundations of mathematics/ Richard L. Epstein, Walter A. Carnielli. by Epstein, Richard L, 1947- Carnielli, Walter A. (Walter Alexandre) Series: Wadsworth & Brooks/Cole statistics/probability series Publication details: Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software, c1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 E64c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	97.	Alfred Tarski: life and logic/ Anita Burdman Feferman, Solomon Feferman. by Feferman, Anita Burdman Feferman, Solomon Publication details: Cambridge, UK: Cambridge University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 510.92 F295a 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	98.	No cover image available No cover image available No cover image available Proof in geometry/ Translated and adapted from the 1st Russian ed. (1954) by Theodore M. Switz and Luise Lange. by Fetisov, A. I Series: Topics in mathematics Language: engrus Publication details: Boston: Heath, [1963] Availability: Items available for loan: Castorina (1)Call number: 513.01 F419p 1963 IMPA. Found in Open Library: Place hold Add to cart (remove)
	99.	No cover image available No cover image available No cover image available Dictionary of symbols of mathematical logic/ Edited by Robert Feys and Frederic B. Fitch. by Feys, Robert, 1889- Fitch, Frederic B. (Frederic Brenton), 1908-1987 [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 F435d 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	100.	No cover image available No cover image available No cover image available Modal logics./ Edited with some complements by Joseph Dopp. by Feys, Robert, 1889- Dopp, Joseph [ed.] Series: Collection de logique mathématique : sér. B ; 4. Publication details: Louvain: E. Nauwelaerts, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 F435m 1965 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 263 results.