Results of search for 'an:31545' › IMPA Library catalog

Results
	1.	Model theory and topoi: a collection of lectures by various authors/ edited by F. W. Lawvere, C. Maurer, G. C. Wraith. by Lawvere, F. W Maurer, Christian, 1945- Wraith, Gavin C, 1939- Series: Lecture notes in mathematics (Springer-Verlag) ; 445. 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.	Indexed categories and their applications/ P. T. Johnstone ... [et al.] ; edited by P. T. Johnstone and R. Paré. by Johnstone, P. T Paré, Robert, 1944- Series: Lecture notes in mathematics (Springer-Verlag) ; 661. Publication details: Berlin: New York: Springer-Verlag, 1978 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	3.	Toposes, algebraic geometry and logic/ I. Bucur ... [and others]; edited by F. W. Lawvere. by Bucur, Ion, 1930-1976 Lawvere, F. W [ed.] Dalhousie University Series: Lecture notes in mathematics (Springer-Verlag) ; 274. 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)
	4.	Toposes, triples, and theories/ Michael Barr and Charles Wells. by Barr, Michael Wells, Charles Series: Grundlehren der mathematischen Wissenschaften ; 278. Publication details: New York: Springer-Verlag, c1985 Availability: Items available for loan: Castorina (1)Call number: 512.55 B268t 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Toposes and local set theories: an introduction/ J. L. Bell. by Bell, J. L. (John Lane) Series: Oxford logic guides ; 14 \| Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.322 B433t 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Freyd's models for the independence of the axiom of choice/ Andreas Blass and Andre Scedrov. by Blass, Andreas, 1947- Scedrov, Andrej, 1955- Series: Memoirs of the American Mathematical Society ; no. 404. Publication details: Providence, R.I.: American Mathematical Society, c1989 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	7.	Algebra in a localic topos with applications to ring theory/ Francis Borceux, Gilberte van den Bossche. by Borceux, Francis, 1948- Bossche, Gilberte van den, 1942- Series: Lecture notes in mathematics (Springer-Verlag) ; 1038. Publication details: Berlin ; New York: Springer-Verlag, 1983 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	8.	Fasci, logica e topoi/ F. Borceux. by Borceux, Francis, 1948- Series: Quaderni dell'Unione Matematica Italiana ; 34. Publication details: Bologna: Pitagora, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 B726f 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	Singular coverings of toposes/ M. Bunge, J. Funk. by Bunge, Marta Funk, Jonathon Series: Lecture notes in mathematics ; 1890, Publication details: Berlin: Springer, 2006 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	10.	Higher orbifolds and deligne-mumford stacks as structured infinity-topoi/ David Joseph Carchedi. by Carchedi, David Joseph [author.] Series: Memoirs of the American Mathematical Society ; no. 1282. Publisher: Providence, RI: American Mathematical Society, [2020] Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	11.	Axiomization of passage from "local" structure to "global" object/ Paul Feit. by Feit, Paul, 1959- Series: Memoirs of the American Mathematical Society ; no. 485. Publication details: Providence, R.I.: American Mathematical Society, 1993 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	12.	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)
	13.	Topos theory/ P. T. Johnstone. by Johnstone, P. T Series: L.M.S. monographs ; 10. Publication details: London New York: Academic Press, 1977 Availability: Items available for loan: Castorina (1)Call number: 516.35 J73t 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	An extension of the Galois theory of Grothendieck/ André Joyal and Myles Tierney. by Joyal, André Tierney, Myles Series: Memoirs of the American Mathematical Society ; no. 309 (Sept. 1984) Publication details: Providence, R.I.: American Mathematical Society, 1984 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	15.	Higher topos theory/ Jacob Lurie. by Lurie, Jacob, 1977- Series: Annals of mathematics studies ; no. 170. Publication details: Princeton, N.J.: Princeton University Press, 2009 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 512.62 L967h 2009 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	Sheaves in geometry and logic: a first introduction to topos theory/ Saunders Mac Lane, Ieke Moerdijk. by Mac Lane, Saunders, 1909-2005 Moerdijk, Ieke Series: Universitext Publication details: New York: Springer-Verlag, c1992 Other title: First introduction to topos theory Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 512.55 M113s 1992 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	Sheaves in geometry and logic: a first introduction to topos theory/ Saunders Mac Lane, Ieke Moerdijk. by Mac Lane, Saunders, 1909-2005 Moerdijk, Ieke Series: Universitext Publication details: New York: Springer-Verlag, 1992 Online access: Table of contents Table of contents Table of contents Availability: Items available for loan: Castorina (1)Call number: 512.55 M113s 1992 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	First order categorical logic: model-theoretical methods in the theory of topoi and related categories/ Michael Makkai, Gonzalo Reyes. by Makkai, Michael, 1939- Reyes, Gonzalo E, 1937- [joint author.] Series: Lecture notes in mathematics (Springer-Verlag) ; 611. Publication details: Berlin ; New York: Springer-Verlag, 1977 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	19.	Duality and definability in first order logic/ Michael Makkai. by Makkai, Michael, 1939- Series: Memoirs of the American Mathematical Society ; no. 503. Publication details: Providence, R.I.: American Mathematical Society, c1993 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	20.	Accessible categories: the foundations of categorical model theory/ Michael Makkai, Robert Paré. by Makkai, Michael, 1939- Paré, Robert, 1944- Series: Contemporary mathematics (American Mathematical Society) ; v. 104. Publication details: Providence, R.I.: American Mathematical Society, c1989 Availability: Items available for loan: Castorina (2). 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 24 results.