The theory of types

Mind 37 (147):338-348 (1928)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/mind/xxxvii.147.338

Links

PhilArchive



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

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

Type Theory and Homotopy.Steve Awodey - unknown
The theory of logical types.Irving Marmer Copi - 1971 - London,: Routledge and Kegan Paul.
The context principle and Wittgenstein's criticism of Russell's theory of types.Marco Ruffino - 1994 - Synthese 98 (3):401 - 414.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
Theory Reduction by Means of Functional Sub‐types.Michael Esfeld & Christian Sachse - 2007 - International Studies in the Philosophy of Science 21 (1):1 – 17.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.

Analytics

Added to PP
2009-01-28

Downloads
51 (#298,901)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reflexivity: a source-book in self-reference.Steven James Bartlett (ed.) - 1992 - New York, N.Y., U.S.A.: Distributors for the U.S. and Canada, Elsevier Science Pub. Co..

Add more citations

References found in this work

No references found.

Add more references