Practical forms of type theory

Journal of Symbolic Logic 13 (2):80-94 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267329

Links

PhilArchive



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

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

Practical Forms of Type Theory.A. M. Turing - 1949 - Journal of Symbolic Logic 14 (1):67-68.
Turing A. M.. Practical forms of type theory.Maurice L'Abbé - 1949 - Journal of Symbolic Logic 14 (3):182-182.
Turing A. M.. Practical forms of type theory.Maurice L'abbé - 1949 - Journal of Symbolic Logic 14 (1):67-68.
Review: A. M. Turing, Practical Forms of Type Theory. [REVIEW]Maurice L'Abbé - 1949 - Journal of Symbolic Logic 14 (3):182-182.
Newman M. H. A. and Turing A. M.. A formal theorem in Church's theory of types. [REVIEW]Leon Henkin - 1942 - Journal of Symbolic Logic 7 (3):122-122.
Review: M. H. A. Newman, A. M. Turing, A Formal Theorem in Church's Theory of Types. [REVIEW]Leon Henkin - 1942 - Journal of Symbolic Logic 7 (3):122-122.
Review: Sara Turing, Alan M. Turing. [REVIEW]Th Skolem - 1960 - Journal of Symbolic Logic 25 (2):161-162.
Alan M. Turing.Sara Turing - 1960 - Journal of Symbolic Logic 25 (2):161-162.
Review: A. M. Turing, Systems of Logic Based on Ordinals. [REVIEW]Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
Turing A. M.. Computability and λ-definability.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.

Analytics

Added to PP
2009-01-28

Downloads
38 (#116,676)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
Geach, Aristotle and Predicate Logics.Alex Orenstein - 2015 - Philosophical Investigations 38 (1-2):96-114.

Add more citations

References found in this work

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.

Add more references