Kempachiro Ohashi. Undecidable theorems ni tuite . Sügaku, vol. 9 no. 2 , pp. 96–97

Journal of Symbolic Logic 34 (1):131 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271022

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: Kempachiro Ohashi, On Undecidable Theorems. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (1):131-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.
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.
Itoh Makoto. “n-ti kansû soku” ni tuite ). Kyûsyû Daigaku kôgaku syûhô , vol. 28 no. 2 , pp. 96–99, 99–101.Katuzi Ono - 1957 - Journal of Symbolic Logic 22 (1):100-101.
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.
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.
Suetuna Zyoiti. Sûgaku ni okeru mugen no haaku . Kisokagaku, vol. 2 no. 1 , pp. 68–70.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.
Itô Makoto. Kakuritu-ron no kôri-taikei ni tuite . Journal of the Mathematical Association of Japan for Secondary Education, vol. 20 , pp. 1–9. [REVIEW]S. Tsuru & S. MacLane - 1940 - Journal of Symbolic Logic 5 (1):30-31.
Kurihara Toshihiko. Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite . Kyûsyû Daigaku kôgaku syûhô , vol. 28 no. 2 , pp. 102–106. [REVIEW]Katuzi Ono - 1957 - Journal of Symbolic Logic 22 (1):102-102.

Analytics

Added to PP
2016-06-30

Downloads
23 (#704,854)

6 months
7 (#491,733)

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