Hirano Jirô. Zum Zerlegungssatz im erweiterten einstelligen Prädikatenkalkül. Proceedings of the Physico-mathematical Society of Japan, 3 s. vol. 19 , pp. 395–412 [Book Review]

Journal of Symbolic Logic 3 (2):91-91 (1938)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267631

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Zum Zerlegungssatz im Erweiterten Einstelligen Prädikatenkalkül.Jiro Hirano - 1938 - Journal of Symbolic Logic 3 (2):91-91.
Hirano Jirô. Einige Bermerkungen zum v. Neumannschen Axiomensystem der Mengenlehre. Proceedings of the Physico-mathematical Society of Japan, 3 s. vol. 19 , pp. 1027–1045. [REVIEW]W. V. Quine - 1938 - Journal of Symbolic Logic 3 (2):121-122.
Hirano Jiro. Kansû, gainen ni tuite . Journal of the Mathematical Association of Japan for Secondary Education, vol. 23 , pp. 1–8. [REVIEW]Shizuo Kakutani - 1941 - Journal of Symbolic Logic 6 (3):102-103.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1-3):37-48.
Review: Jiro Hirano, On the Concept of a Function. [REVIEW]Shizuo Kakutani - 1941 - Journal of Symbolic Logic 6 (3):102-103.
Review: Jiro Hirano, Einige Bermerkungen zum v. Neumannschen Axiomensystem der Mengenlehre. [REVIEW]W. V. Quine - 1938 - Journal of Symbolic Logic 3 (3):121-122.
Suzuki Yosmndo. On the uniformization principle. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 137–144. [REVIEW]Stephen J. Garland - 1971 - Journal of Symbolic Logic 36 (4):687-687.
Ohnishi Masao and Matsumoto Kazuo. A system for strict implication. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 99–108. , pp. 183–188.). [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
Janusz Korczak Tody in Japan.Jiro Kondo - 2001 - Dialogue and Universalism 11 (9-10):197-198.
Human Cloning Legislation in Japan.Jiro Nudeshima - 2001 - Eubios Journal of Asian and International Bioethics 11 (1):2-2.
Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Mathematical Logic Quarterly 34 (4):317-322.
Review: T. Hirano, Die kontradiktorische Logik. [REVIEW]Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):115-115.
Physico-mathematics and the search for causes in Descartes' optics—1619–1637.John A. Schuster - 2012 - Synthese 185 (3):467-499.
F21. Japan Society of Human Genetics, present and future.Yasuo Nakagome - forthcoming - Bioethics in Asia: The Proceedings of the Unesco Asian Bioethics Conference (Abc'97) and the Who-Assisted Satellite Symposium on Medical Genetics Services, 3-8 Nov, 1997 in Kobe/Fukui, Japan, 3rd Murs Japan International Symposium, 2nd Congress of the Asi.

Analytics

Added to PP
2013-11-22

Downloads
15 (#944,758)

6 months
2 (#1,192,898)

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