Izumi Yosihisa. Remarques sur la notion de la perfection. Tóhoku mathematical journal, ser. 2 vol. 4 , pp. 252–256.Izumi Yosihisa. Über den Begriff der ω-Vollständigkeit. Tóhoku mathematical journal, ser. 2 vol. 4 , pp. 314–315.Izumi Yosihisa. Sur les formes normales. Tóhoku mathematical journal, ser. 2 vol. 6 , pp. 26–29 [Book Review]

Journal of Symbolic Logic 22 (3):296-297 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963609

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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

Yonemitsu Naoto. On systems of strict implication. Tôhoku mathematical journal, ser. 2 vol. 3 , pp. 48–58.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (4):278-278.
Curry H. B.. First properties of functionality in combinatory logic. The Tôhoku mathematical journal, vol. 41 , pp. 371–401. [REVIEW]S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (2):65-65.
Dilworth R. P.. On complemented lattices. The Tôhoku mathematical journal, vol. 47 part 1 , pp. 18–23.P. Lagerström - 1940 - Journal of Symbolic Logic 5 (4):155-155.
Natucci A.. 2 + 2 fanno 4. Periodico di matematiche, ser. 4 vol. 29 , pp. 198–204.Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):77-77.
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
Goodstein R. L.. Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, ser. 2 vol. 48 part 6 , pp. 401–434. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (1):24-26.
Carl G. JockuschJr., and David B. Posner. Double jumps of minimal degrees. The journal of symbolic logic, vol. 43 no. 4 , pp. 715–724. - Carl G. JockuschJr., and David B. Posner. Automorphism bases for degrees of unsotvability. Israel journal of mathematics, vol. 40 , pp. 150–164. - Richard L. Epstein. Initial segments of degrees below 0′. Memoirs of the American Mathematical Society, no. 241. American Mathematical Society, Providence1981, vi + 102 pp. - Richard A. Shore. The theory of the degrees below 0′. The journal of the London Mathematical Society, ser. 2 vol. 24 , pp. 1–14.M. Lerman - 1985 - Journal of Symbolic Logic 50 (2):550-552.
Rose Alan. An extension of the calculus of non-contradiction. Proceedings of the London Mathematical Society, ser. 2 vol. 54 part 3 , pp. 184–200. [REVIEW]Frederic B. Fitch - 1953 - Journal of Symbolic Logic 18 (1):66-67.
Myhill John. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 , pp. 165–198.Benes Vaclav Edvard. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 , pp. 56–58.Myhill John. Retort to Mr. Benes. Philosophical studies, vol. 5 , pp. 47–48. [REVIEW]Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-316.
I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 , pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 , pp. 191–230. [REVIEW]Hilbert Levitz - 1967 - Journal of Symbolic Logic 32 (1):127-128.

Analytics

Added to PP
2013-11-22

Downloads
48 (#463,272)

6 months
9 (#511,775)

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