Stratified Systems of Logic

Journal of Symbolic Logic 9 (2):50-52 (1944)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268031

Other Versions

No versions found

Links

PhilArchive



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

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

Newmak M. H. A.. Stratified systems of logic. Proceedings of the Cambridge Philosophical Society, vol. 39 , pp. 69–83.Alonzo Church - 1944 - Journal of Symbolic Logic 9 (2):50-52.
Newman M. H. A. and Turing A. M.. A formal theorem in Church's theory of types. [REVIEW]Leon Henkin - 1942 - Journal of Symbolic Logic 7 (3):122-122.
Newman M. H. A.. The calculus of sets. Elements of the topology of plane sets of points, by Newman M. H. A., Cambridge University Press 1939, pp. 3–12. [REVIEW]Alonzo Church - 1939 - Journal of Symbolic Logic 4 (3):126-126.
- M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 , pp. 34–47. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (3):123-124.
- M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 , pp. 34–47. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (3):124-125.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
Newman M. H. A.. On theories with a combinatorial definition of “equivalence.” Annals of mathematics, ser. 2 vol. 43 , pp. 223–243. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):123-123.
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 , pp. 115–118.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692.
Review: M. H. Stone, The Representation of Boolean Algebras. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):35-35.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,381,944)

6 months
3 (#1,491,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Typability in Partial Applicative Structures.Inge Bethke & Piet Rodenburg - 2011 - Journal of Logic, Language and Information 20 (2):161-168.

Add more citations

References found in this work

No references found.

Add more references