Peter T. Johnstone. Sketches of an elephant: a topos theory compendium. Oxford Logic Guides, vols. 43, 44. Oxford University Press, Oxford, 2002, xxii + 1160 pp [Book Review]

Bulletin of Symbolic Logic 11 (1):65-69 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003462

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sketches of an Elephant: A Topos Theory Compendium: Volume 2.Peter T. Johnstone - 2002 - Oxford, England: Oxford University Press UK.
Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set.Peter T. Johnstone - 2002 - Oxford University Press UK.
Interpolation and Definability: Modal and Intuitionistic Logics.Dov M. Gabbay & Larisa Maksimova - 2005 - Oxford, England: Oxford University Press UK.
Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Oxford logic guides, no. 20. Clarendon Press, Oxford University Press, Oxford and New York1992, viii + 152 pp. [REVIEW]Randall Holmes - 1993 - Journal of Symbolic Logic 58 (2):725-728.
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Second edition of LVIII 725. Oxford logic guides, no. 31. Clarendon Press, Oxford University Press, Oxford and New York1995, x + 166 pp. [REVIEW]M. Randall Holmes - 1996 - Journal of Symbolic Logic 61 (4):1392-1393.
Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp. [REVIEW]Martin Hils - 2016 - Bulletin of Symbolic Logic 22 (2):291-293.
Shapiro Stewart. Foundations without foundationalism. A case for second-order logic. Oxford logic guides, no. 17. Clarendon Press, Oxford University Press, Oxford and New York 1991, xx + 277 pp. [REVIEW]John Burgess - 1993 - Journal of Symbolic Logic 58 (1):363-365.
AJ Minnis, with VJ Scattergood and JJ Smith, The Shorter Poems.(Oxford Guides to Chaucer.) Oxford: Clarendon Press, Oxford University Press, 1995. Pp. xiv, 578. $72. [REVIEW]Peter G. Beidler - 1997 - Speculum 72 (3):863-865.
Segerberg Krister. Classical prepositional operators. An exercise in the foundations of logic. Oxford logic guides, no. 5. Clarendon Press, Oxford University Press, Oxford and New York 1982, x + 152 pp. [REVIEW]Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.
Rose H. E.. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York 1984, xiii + 191 pp. [REVIEW]H. Schwichtenberg - 1987 - Journal of Symbolic Logic 52 (2):563-565.
Bell J. L.. Toposes and local set theories. An introduction. Oxford logic guides, no. 14. Clarendon Press, Oxford University Press, Oxford and New York 1988, xii + 267 pp. [REVIEW]G. C. Wraith - 1990 - Journal of Symbolic Logic 55 (2):886-887.
Smith G. C.. The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York 1982, vii + 156 pp. [REVIEW]Theodore Hailperin - 1984 - Journal of Symbolic Logic 49 (2):657-659.
Bell J. L.. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York 1985, xx + 165 pp.Scott Dana. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii. [REVIEW]James E. Baumgartner - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
André Nies. Computability and randomness. Oxford Logic Guides, vol. 51. Oxford University Press, Oxford, 2009, xv + 433 pp. [REVIEW]Anthony Morphett - 2010 - Bulletin of Symbolic Logic 16 (1):85-87.

Analytics

Added to PP
2014-03-20

Downloads
54 (#288,506)

6 months
11 (#226,803)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references