An Alternative Proof of a Theorem of Equivalence Concerning Axioms of Natural Numbers

Journal of Symbolic Logic 15 (4):282-282 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268347

Other Versions

No versions found

Links

PhilArchive



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

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

Germansky Baruch. ., , vol. 3 , pp. 65–67.Alonzo Church - 1951 - Journal of Symbolic Logic 15 (4):282-282.
Germansky Baruch. . Riveon lematematika, vol. 6 , p. 79.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):263-263.
Typical ambiguity and elementary equivalence.Daniel Dzierzgowski - 1993 - Mathematical Logic Quarterly 39 (1):436-446.
Axioms of the Natural Numbers.Baruch Germanski - 1946 - Journal of Symbolic Logic 11 (4):126-127.
On the Axioms of B. Germanski for the Natural Numbers.Kurt Bing - 1948 - Journal of Symbolic Logic 13 (4):225-225.
Alternative proof of a theorem of Kleene.Hao Wang - 1958 - Journal of Symbolic Logic 23 (3):250.
A system of completely independent axioms for the sequence of natural numbers.Shianghaw Wang - 1943 - Journal of Symbolic Logic 8 (1):41-44.
Wang Hao. Alternative proof of a theorem of Kleene.J. C. E. Dekker - 1962 - Journal of Symbolic Logic 27 (1):81-82.

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,687,769)

6 months
1 (#1,593,032)

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