A note on the theory of propositional types

Fundamenta Mathematicae 54 (3):27-29 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

A Note on the Theory of Propositional Types.Peter Andrews & A. Grzegorczyk - 1966 - Journal of Symbolic Logic 31 (3):502.
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.

Analytics

Added to PP
2010-08-17

Downloads
2 (#1,819,493)

6 months
23 (#125,194)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.

Add more citations

References found in this work

No references found.

Add more references