In Memoriam: Saunders Mac Lane 1909–2005

Bulletin of Symbolic Logic 13 (1):115-119 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1174668221

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Saunders Mac Lane (1909–2005): His mathematical life and philosophical works.Colin McLarty - 2005 - Philosophia Mathematica 13 (3):237-251.
Review: Saunders Mac Lane, Symbolic Logic. [REVIEW]Alonzo Church - 1939 - Journal of Symbolic Logic 4 (3):125-126.
Mac Lane Saunders. Symbolic logic. The American mathematical monthly, vol. 46 , pp. 289–296.Alonzo Church - 1939 - Journal of Symbolic Logic 4 (3):125-126.
Review: Saunders Mac Lane, Categorical Algebra and Set-Theoretic Foundations. [REVIEW]William Mitchell - 1973 - Journal of Symbolic Logic 38 (3):528-528.
Review: Saunders Mac Lane, Ieke Moerdjik, Sheaves in Geometry and Logic. A First Introduction to Topos Theory. [REVIEW]Andrew M. Pitts - 1995 - Journal of Symbolic Logic 60 (1):340-342.
Book Review. [REVIEW][author unknown] - 2006 - History and Philosophy of Logic 27 (1):83-87.
Saunders Mac Lane. Mathematics: form and function. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1986, xi + 476 pp. [REVIEW]Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):643-645.
To Saunders Mac Lane on his g0th birthdag.Jim Lambek - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--325.
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Alasdair Urquhart (Managing Editor), Steve Awodey. [REVIEW]Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints & Volker Peckhaus - 2008 - Bulletin of Symbolic Logic 14 (2).
Saunders Mac Lane and Ieke Moerdijk. Sheaves in geometry and logic. A first introduction to topos theory. Universitext. Springer-Verlag, New York, Berlin, etc., 1992, xii – 627 pp. [REVIEW]Andrew M. Pitts - 1995 - Journal of Symbolic Logic 60 (1):340-342.

Analytics

Added to PP
2009-01-28

Downloads
238 (#12,772)

6 months
16 (#899,032)

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