Journal of Symbolic Logic 27 (1):110-110 (1962)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2963736 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Review: Gaisi Takeuti, Remarks on the Truth Definition. [REVIEW]Gebhard Fuhrken - 1962 - Journal of Symbolic Logic 27 (1):110-110.
Takeuti Gaisi. An Example on the Fundamental Conjecture of GLC. Journal of the Mathematical Society of Japan, Vol. 12 , Pp. 238–242. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
Takeuti Gaisi. Axioms of Infinity of Set Theory. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 220–233.J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Takeuti Gaisi. Ordinal Diagrams. Journal of the Mathematical Society of Japan, Vol. 9 , Pp. 386–394.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
Takeuti Gaisi. On Skolem's Theorem. Journal of the Mathematical Society of Japan, Vol. 9 , Pp. 71–76.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
Takeuti Gaisi. On the Theory of Ordinal Numbers. Journal of the Mathematical Society of Japan, Vol. 9 , Pp. 93–113.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
Takeuti Gaisi. On the Recursive Functions of Ordinal Numbers. Journal of the Mathematical Society of Japan, Vol. 12 No. 2 , Pp. 119–128. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.
Takeuti Gaisi. A Metamathematical Theorem on the Theory of Ordinal Numbers. Journal of the Mathematical Society of Japan, Vol. 4 , Pp. 146–165. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Maehara Shôji and Takeuti Gaisi. A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 357–370. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
Bounded Arithmetic and Truth Definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.
Takeuti Gaisi. On the Formal Theory of the Ordinal Diagrams. Annals of the Japan Association for Philosophy of Science, Vol. 1 No. 3 , Pp. 151–170. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
Weaves.Barry Burd & Gaisi Takeuti - 1977 - Annals of the Japan Association for Philosophy of Science 5 (2):47-56.
Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
Takeuti Gaisi. Construction of Ramified Real Numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
On the Formal Theory of the Ordinal Diagrams.Gaisi Takeuti - 1958 - Annals of the Japan Association for Philosophy of Science 1 (3):151-170.
Analytics
Added to PP index
2016-06-30
Total views
10 ( #903,667 of 2,520,426 )
Recent downloads (6 months)
2 ( #270,555 of 2,520,426 )
2016-06-30
Total views
10 ( #903,667 of 2,520,426 )
Recent downloads (6 months)
2 ( #270,555 of 2,520,426 )
How can I increase my downloads?
Downloads
