Stephen Cole Kleene — a reminiscence

Annals of Pure and Applied Logic 81 (1-3):3-7 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)00049-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

Stephen Cole Kleene — a reminiscence.Saunder Mac Lane - 1995 - Annals of Pure and Applied Logic 81 (1-3):3-7.
In Memoriam: Saunders Mac Lane 1909–2005.Steve Awodey - 2007 - Bulletin of Symbolic Logic 13 (1):115-119.
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.
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: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):333-333.
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.
Lane Saunders Mac. Categorical algebra and set-theoretic foundations. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 231–240. [REVIEW]William Mitchell - 1973 - Journal of Symbolic Logic 38 (3):528-528.
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.

Analytics

Added to PP
2014-01-16

Downloads
18 (#1,109,160)

6 months
8 (#575,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.

Add more citations

References found in this work

No references found.

Add more references