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

Results
	81.	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)
	82.	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)
	83.	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)
	84.	Formal number theory and computability: a workbook/ by Alec Fisher. by Fisher, Alec Series: Oxford logic guides ; 7 \| Oxford science publications Publication details: Oxford: Clarendon Press, 1982 Availability: Items available for loan: Castorina (2)Call number: 511.3 F533f 1982 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	85.	Logic, induction and sets/ Thomas Forster. by Forster, T. E Series: London Mathematical Society student texts ; 56 Publication details: Cambridge, UK; New York: Cambridge University Press, 2003 Online access: Table of contents Publisher description Availability: Items available for loan: Castorina (1)Call number: 511.3 F734l 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	86.	No cover image available No cover image available Les mathématiques et le concret/ Préf. de Raymond Bayer. by Fréchet, Maurice, 1878- Series: Philosophie de la matière ; 7. Publication details: Paris: Presses universitaires de France, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 F851m 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	87.	No cover image available No cover image available Cours de logique mathématique;: Vol. 1: Relation, formule logique, compacité, complétude/ Roland Fraissé. by Fraissé, Roland Series: Collection de logique mathématique : sér. A ; no. 23. Publication details: Paris: Gauthier-Villars, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 F812c 1967 IMPA. Place hold Add to cart (remove)
	88.	No cover image available No cover image available Cours de logique mathématique, Tome 2: Théorie des modèles/ Roland Fraïssé. by Fraissé, Roland Series: Collection de logique mathématique : sér. A Edition: 2. éd. revue et modifiée. Publication details: Paris: Gauthier-Villars, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 F812c 1972 IMPA. Place hold Add to cart (remove)
	89.	No cover image available No cover image available Logique mathemátique appliquée. by Freudenthal, Hans, 1905- Series: Collection de logique mathématique : sér. A ; Collection de logique mathématique : sér. A Publication details: Paris: Gauthier-Villars, 1958 Availability: Items available for loan: Castorina (1)Call number: 511.352 F889l 1958 IMPA. Found in Open Library: Place hold Add to cart (remove)
	90.	Intensional and higher-order modal logic: with applications to Montague semantics/ Daniel Gallin. by Gallin, Daniel Series: North-Holland mathematics studies ; 19 Publication details: Amsterdam ; Oxford: North-Holland, 1975 Availability: Items available for loan: Castorina (1)Call number: 511.352 G169i 1975 IMPA. Found in Open Library: Place hold Add to cart (remove)
	91.	No cover image available No cover image available Basic concepts of mathematics and logic/ [by] Michael C. Gemignani. by Gemignani, Michael C Series: Addison-Wesley series in introductory mathematics Publication details: Reading, Mass.: Addison-Wesley, [1968] Availability: Items available for loan: Castorina (1)Call number: 511.3 G322b 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	92.	Logic in computer science. II/ editor: Silvia Ghilezan. by Ghilezan, Silvia [edt] Series: Zbornik radova - Matematicki institut (Beograd) ; 18(26). Publication details: Belgrade: (Matematicki institut SANU), 2015 Availability: Items available for loan: Castorina (1)Call number: 511.3 G424l 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	93.	Algebraic logic/ S.G. Gindikin ; translated by Robert H. Silverman. by Gindikin, S. G. (Semen Grigorevich) Series: Problem books in mathematics Language: engrus Publication details: New York: Springer-Verlag, c1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 G492a 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	94.	Proof theory and logical complexity.. T.1/ Jean-Yves Girard. by Girard, Jean-Yves Series: Studies in proof theory ; 1. Publication details: Napoli: Bibliopolis, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.352 G517p 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	95.	Topoi: the categorial analysis of logic/ Robert Goldblatt. by Goldblatt, Robert Series: Dover books on mathematics Edition: 2nd ed., rev. ed., Dover ed. Publication details: Mineola, NY: Dover, 2006 Online access: Table of contents Publisher description Availability: Items available for loan: Castorina (1)Call number: 511.3 G618t 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	96.	Ultrafilters throughout mathematics / Isaac Goldbring. by Goldbring, Isaac [author.] Series: Graduate studies in mathematics ; v. 220. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2022] Availability: Items available for loan: Castorina (1)Call number: 511.3 G618u 2022 IMPA. Lists: Novos títulos. Found in Open Library: Place hold Add to cart (remove)
	97.	Advanced logic for applications/ Richard E. Grandy. by Grandy, Richard E Series: A Pallas paperback ; 13. Publication details: Dordrecht, Holland ;: Boston: D. Reidel, c1979 Availability: Items available for loan: Castorina (1)Call number: 511.3 G755a 1979 IMPA. Found in Open Library: Place hold Add to cart (remove)
	98.	No cover image available No cover image available Logique moderne. Fasc. II, Logique des propositions et des prédicats. Tables de vérité et axiomatisation. by Grize, Jean-Blaise, 1922- Publication details: Paris: Mouton, Gauthier-Villars, [c1971] Availability: Items available for loan: Castorina (1)Call number: 511.3 G872l 1971 IMPA. Place hold Add to cart (remove)
	99.	An outline of mathematical logic: fundamental results and notions explained with all details/ by Andrzej Grzegorczyk. by Grzegorczyk, Andrzej Language: engpol Publication details: Dordrecht, Holland ; Boston: D. Reidel, [1974] Availability: Items available for loan: Castorina (1)Call number: 511.3 G895o 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	100.	No cover image available No cover image available Fonctions récursives/ Andrzej Grzegorczyk. by Grzegorczyk, Andrzej Series: Collection de logique mathématique, sér. A ; 17 Language: French Original language: Polish Publication details: Paris: Gauthier-Villars, 1961 Availability: Items available for loan: Castorina (1)Call number: 511.352 G895f 1961 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.