Obituary: John R. Myhill (1923–1987)

&
History and Philosophy of Logic 8 (2):243-244 (1987)
  Copy   BIBTEX

Abstract

No abstract

Categories

Keywords

Reprint years

DOI

10.1080/01445348708837118

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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

Remark on a system of Bernays.John Myhill - 1963 - Journal of Symbolic Logic 28 (1):75-76.
Joan Mason (1923–2004) — Obituary.Ida H. Stamhuis & Annette B. Vogt - 2004 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 12 (4):250-251.
Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
On the interpretation of the sign '⊃'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60-62.
Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.
A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Note on an idea of Fitch.John R. Myhill - 1949 - Journal of Symbolic Logic 14 (3):175-176.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2010-08-10

Downloads
47 (#347,530)

6 months
8 (#415,941)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references