Obituary: John R. Myhill (1923–1987)

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

Abstract
No abstract
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445348708837118
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,330
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

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 index
2010-08-10

Total views
35 ( #259,682 of 2,285,999 )

Recent downloads (6 months)
1 ( #833,345 of 2,285,999 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature