Germanski Baruch. . , vol. 1 no. 1

Journal of Symbolic Logic 11 (4):126-127 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268317

Links

PhilArchive



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

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: Baruch Germanski, Axioms of the Natural Numbers. [REVIEW]S. Karlin - 1946 - Journal of Symbolic Logic 11 (4):126-127.
J. S. Ullian. Splinters of recursive functions. The journal of symbolic logic, vol. 25 no. 1 , pp. 33–38.Marian Boykan Pour-El - 1966 - Journal of Symbolic Logic 31 (1):138-139.
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
G. H. von Wright. Deontic logic. Mind, n. s. vol. 60 , pp. 1–15. [REVIEW]Frederic B. Fitch - 1952 - Journal of Symbolic Logic 17 (2):140-140.
G. H. von Wright. Deontic logic. Mind, n. s. vol. 60 , pp. 1–15.Frederic B. Fitch - 1952 - Journal of Symbolic Logic 17 (2):140-140.
Scott S. Cramer, Inverse limit reflection and the structure of L_( _V_ _λ+1 ). Journal of Mathematical Logic, vol. 15 (2015), no. 1, p. 1550001 (38 pp.). [REVIEW]Xianghui Shi - 2020 - Bulletin of Symbolic Logic 26 (2):170-171.
Patricia A. James. Mechanization of a tax code. MULL, vol. 59 no. S , pp. 1–3.W. W. Waddell - 1964 - Journal of Symbolic Logic 29 (1):46-47.
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 , no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 , no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 , no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 , no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 , no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 , no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 , no. 5, pp. 519–538. [REVIEW]Daniel Turetsky - 2012 - Bulletin of Symbolic Logic 18 (1):131-134.
Feferman S.. Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, vol. 49 no. 1 , pp. 35–92. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,221,414)

6 months
10 (#308,797)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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