Bulletin of Symbolic Logic 19 (4):433-472 (2013)

Authors
Georg Schiemer
University of Vienna
Erich Reck
University of California, Riverside
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1079898600010568
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,827
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logic in the Twenties: The Nature of the Quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.
The Logical Syntax of Language.E. N. - 1937 - Journal of Philosophy 34 (11):303.

View all 33 references / Add more references

Citations of this work BETA

Type Theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Combinatorial Realizability Models of Type Theory.Pieter Hofstra & Michael A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):957-988.
Polynomial-Time Martin-Löf Type Theory.L. Pe Joseph - 1992 - Archive for Mathematical Logic 32 (2):137-150.
Notes on Types, Sets, and Logicism, 1930-1950.José Ferreiros - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):91-124.
Classifiable Theories Without Finitary Invariants.E. Bouscaren & E. Hrushovski - 2006 - Annals of Pure and Applied Logic 142 (1-3):296-320.
Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.

Analytics

Added to PP index
2019-04-25

Total views
16 ( #629,442 of 2,432,741 )

Recent downloads (6 months)
2 ( #294,374 of 2,432,741 )

How can I increase my downloads?

Downloads

My notes