Setsuya Seki. Tyógen ronpó ni tuite . Sûgaku, vol. 7 no. 1 , p. 31

Journal of Symbolic Logic 33 (4):632 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271430

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

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.
Kuroda Sigekatu. Sûgaku no tyokkansei to sono mu-muzyunsei ni tuite . Kisokagaku, vol. 1 no. 2 , pp. 33–44.Kuroda Sigekatu. Aristotle no ronri to Brouwer no ronri ni tuite . Kagaku, vol. 18 no. 1 , pp. 2–10.Kuroda Sigekatu. Intuitionistische Untersuchungen der formalistischen Logik. Nagoya mathematical journal, vol. 2 , pp. 35–47. [REVIEW]M. Ohnishi - 1956 - Journal of Symbolic Logic 21 (2):196-196.
Seki Setsuya. On transfinite inferences. Commentarii mathematici Universitatis Sancti Pauli, vol. 4 no. 1 , pp. 43–45.Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
Suetuna Zyoiti. Sügaku no saiken ni tuite . Risô, no. 197 , pp. 17–26.M. Kondô - 1952 - Journal of Symbolic Logic 17 (1):63-63.
Takeuti Gaisi and Yasugi Mariko. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 , pp. 1–67. [REVIEW]Kurt Schütte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 , pp. 101–112. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404.
Review: Setsuya Seki, On Transfinite Inferences. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
Review: Setsuya Seki, Report of a Symposium. [REVIEW]Gaisi Takeuti - 1960 - Journal of Symbolic Logic 25 (2):160-161.
Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Review: Setsuya Seki, Introduction to set Theory. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.

Analytics

Added to PP
2016-06-30

Downloads
29 (#568,517)

6 months
7 (#492,113)

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