Journal of Symbolic Logic 34 (4):649-650 (1969)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2270870 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Review: Toshio Nishimura, Godel's Theorem and Related Topics. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (4):649-650.
Gödel's Theorem and Related Topics.Toshio Nishimura - 1969 - Journal of Symbolic Logic 34 (4):649-650.
Review: Toshio Nishimura, On Godel's Theorem. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" From Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of Set Theory Without Zermelo's Aussonderungsaxiom in a Certain Axiom System of Ordinal Numbers. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):107-107.
Kensuke Takeuchi. Ziyû-daisûkei no go no mondai . Sûgaku, vol. 8 no. 4 , pp. 218–229.Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (2):302-303.
Setsuya Seki. Tyógen Ronpó Ni Tuite . Sûgaku, Vol. 7 No. 1 , P. 31.Mariko Yasugi - 1969 - Journal of Symbolic Logic 33 (4):632.
Kempachiro Ohashi. Undecidable Theorems Ni Tuite . Sügaku, Vol. 9 No. 2 , Pp. 96–97.Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (1):131.
The Consistency and the Impredicative Statement.Toshio Nishimura - 1963 - Annals of the Japan Association for Philosophy of Science 2 (3):144-156.
Review: Toshio Nishimura, On a Certain System with Infinite Induction. [REVIEW]Charles Parsons - 1963 - Journal of Symbolic Logic 28 (4):293-293.
Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension.Toshio Nishimura & Setsuya Seki - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" From Other Axioms of Set Theory.Toshio Nishimura - 1964 - Journal of Symbolic Logic 29 (2):107-107.
Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Analytics
Added to PP index
2016-06-30
Total views
14 ( #676,935 of 2,403,693 )
Recent downloads (6 months)
7 ( #104,953 of 2,403,693 )
2016-06-30
Total views
14 ( #676,935 of 2,403,693 )
Recent downloads (6 months)
7 ( #104,953 of 2,403,693 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
