- Prototype Proofs in Type Theory.Giuseppe Longo - 2000 - Mathematical Logic Quarterly 46 (2):257-266.details
|
|
(4 other versions)Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.details
|
|
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.details
|
|
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..details
|
|
The limits of abstraction.Kit Fine - 2002 - New York: Oxford University Press. Edited by Matthias Schirn.details
|
|
Universals and property instances: the alphabet of being.John Bacon - 1995 - Cambridge: Blackwell.details
|
|
Abstract particulars.Keith Campbell - 1990 - Cambridge, Mass., USA: Blackwell.details
|
|
Quality and concept.George Bealer - 1982 - New York: Oxford University Press.details
|
|
An epistemic logic for becoming informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.details
|
|
The method of levels of abstraction.Luciano Floridi - 2008 - Minds and Machines 18 (3):303–329.details
|
|
(1 other version)The metaphysics of abstract objects.E. J. Lowe - 1995 - Journal of Philosophy 92 (10):509-524.details
|
|
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.details
|
|
(1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought [1879].Gottlob Frege - 1879 - From Frege to Gödel: A Source Book in Mathematical Logic 1931:1--82.details
|
|
(4 other versions)Ueber Sinn und Bedeutung.Gottlob Frege - 1948 - Philosophical Review 57:209.details
|
|
Ueber Begriff und Gegenstand.Gottlob Frege - 1892 - Vierteljahrsschrift Für Wissenschaftliche Philosophie 16 (2):192-205.details
|
|
(1 other version)Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Funktion und Begriff.Gottlob Frege - 1891 - Jena: Hermann Pohle.details
|
|
(2 other versions)The Limits of Abstraction.Kit Fine - 2005 - Philosophical Studies 122 (3):367-395.details
|
|
(2 other versions)The Limits of Abstraction.Kit Fine - 2004 - Bulletin of Symbolic Logic 10 (4):554-557.details
|
|
(2 other versions)The Limits of Abstraction.Kit Fine - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
(1 other version)Quality and Concept.George Bealer - 1984 - Mind 93 (371):455-458.details
|
|
(1 other version)Quality and Concept.George Bealer - 1983 - Revue Philosophique de la France Et de l'Etranger 173 (3):347-348.details
|
|
(2 other versions)Plato's Theory of Ideas.David Ross - 1953 - Mind 62 (248):549-556.details
|
|
(2 other versions)Plato's Theory of Ideas.David Ross - 1952 - Philosophy 27 (101):183-186.details
|
|
(2 other versions)Plato's Theory of Ideas.David Ross - 1953 - Revue Philosophique de la France Et de l'Etranger 143:455-456.details
|
|
(1 other version)The Epistemology of Abstract Objects.David Bell & W. D. Hart - 1979 - Aristotelian Society Supplementary Volume 53 (1):135-166.details
|
|
(1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|
(2 other versions)The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.details
|
|
The theory of universals.Richard Ithamar Aaron - 1952 - Oxford [Eng.]: Clarendon Press.details
|
|
Abstract objects.Bob Hale - 1987 - New York, NY, USA: Blackwell.details
|
|
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.details
|
|
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
Abstrakte Gegenstände. Semantik und Ontologie.Wolfgang Künne - 1987 - Zeitschrift für Philosophische Forschung 41 (1):153-156.details
|
|
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.details
|
|
(1 other version)Quality and Concept by George Bealer. [REVIEW]Ernest Sosa - 1985 - Journal of Philosophy 82 (7):382-387.details
|
|
Criteria of Abstractness. The Ontologies of Husserl, Frege and Strawson against the Background of Classical Metaphysics.Wolfgang Künne - 1982 - In Barry Smith (ed.), Parts and Moments. Studies in Logic and Formal Ontology. Philosophia Verlag. pp. 401--437.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
The Limits of Abstraction.Bob Hale - 2006 - Philosophy and Phenomenological Research 72 (1):223-232.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|
Twenty-five years of constructive type theory.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Oxford: Clarendon Press.details
|
|
(3 other versions)Quality and Concept. [REVIEW]Joachim Buhl - 1985 - Erkenntnis 23 (2):203-212.details
|
|
(1 other version)The Metaphysics of Abstract Objects.E. J. Lowe - 1995 - Journal of Philosophy 92 (10):509-524.details
|
|
Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.details
|
|
Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.details
|
|
Universals and Property Instances: The Alphabet of Being.[author unknown] - 1998 - Philosophical Quarterly 48 (192):415-417.details
|
|