Review: Shoji Maehara, The Predicate Calculus with $varepsilon$-Symbol [Book Review]

Journal of Symbolic Logic 27 (1):109-109 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963733

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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: Shoji Maehara, Equality Axiom on Hilbert's $varepsilon$-Symbol. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
Review: Shoji Maehara, Gentzen's Theorem on an Extended Predicate Calculus. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
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.
Review: Shoji Maehara, Logic in Japan. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-472.
Maehara Shôji. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 , pp. 419–435. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
Review: Shoji Maehara, General Recursive Functions in the Number-Theoretic Formal System. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
Review: Shoji Maehara, A System of Simple Type Theory with Type Variables. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.

Analytics

Added to PP
2013-11-03

Downloads
56 (#293,398)

6 months
23 (#124,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.

Add more citations

References found in this work

No references found.

Add more references