Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64 [Book Review]

Journal of Symbolic Logic 22 (1):79-80 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Two interpolation theorems for a π11 predicate calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.

Analytics

Added to PP
2013-11-03

Downloads
16 (#774,541)

6 months
3 (#445,838)

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