John Myhill. Remark on a system of Bernays. The journal of symbolic logic, vol. 28 no. 1 , pp. 75–76

Journal of Symbolic Logic 29 (4):208 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270392

Links

PhilArchive



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

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

Review: John Myhill, Remark on a System of Bernays. [REVIEW]Azriel Levy - 1964 - Journal of Symbolic Logic 29 (4):208-208.
John Myhill. Variations on a theme of Bernays. Notre Dame journal of formal logic, vol. 4 no. 4 , pp. 274–282.Paul Bernays - 1970 - Journal of Symbolic Logic 35 (2):345-346.
John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
Lévy Azriel. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
John Myhill. On the interpretation of the sign ‘⊃’. The journal of symbolic logic, vol. 18 , pp. 60–62.Paul Bernays - 1955 - Journal of Symbolic Logic 20 (2):178-179.
Review: John Myhill, Variations on a Theme of Bernays. [REVIEW]Paul Bernays - 1970 - Journal of Symbolic Logic 35 (2):345-346.
Azriel Lévy. Axiomatization of induced theories. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 251–253. [REVIEW]Thomas Frayne - 1969 - Journal of Symbolic Logic 34 (2):302-302.
John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 , pp. 7–10.Martin Davis - 1955 - Journal of Symbolic Logic 20 (2):178.
Remark on a system of Bernays.John Myhill - 1963 - Journal of Symbolic Logic 28 (1):75-76.
Frederic B. Fitch. The system CΔ of combinatory logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 87–97.Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.

Analytics

Added to PP
2016-06-30

Downloads
5 (#847,061)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references