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

Links

PhilArchive



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

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.
Review: Saunders Mac Lane, Symbolic Logic. [REVIEW]Alonzo Church - 1939 - Journal of Symbolic Logic 4 (3):125-126.
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.
Review: Saunders Mac Lane, Categorical Algebra and Set-Theoretic Foundations. [REVIEW]William Mitchell - 1973 - Journal of Symbolic Logic 38 (3):528-528.
Review: Stephen Cole Kleene, Mathematical Logic. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
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, 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.
Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):333-333.
Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,204,152)

6 months
5 (#836,975)

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