- (5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.details
|
|
Russell, idealism, and the emergence of analytic philosophy.Peter Hylton - 1990 - New York: Oxford University Press.details
|
|
On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.details
|
|
The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.details
|
|
Frege on sense identity.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):103-108.details
|
|
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.details
|
|
(1 other version)Conceptual Notation and Related Articles. [REVIEW]John Corcoran & David Levin - 1972 - Philosophy of Science 36 (1):454-455.details
|
|
Sense in Frege.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):93-102.details
|
|
(1 other version)Subject and predicate in western logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.details
|
|
The Foundations of Frege's Logic.Gregor K. Frey - 1993 - Noûs 27 (4):532-535.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.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
|
|
Russell's substitutional theory.Peter Hylton - 1980 - Synthese 45 (1):1 - 31.details
|
|
Écrits logigues.Jacques Herbrand - 1968 - Paris,: Presses universitaires de France.details
|
|
Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Bewiesbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen.Thoralf Skolem - 1970 - In Th Skolem & Jens Erik Fenstad (eds.), Selected works in logic. Oslo,: Universitetsforlaget.details
|
|
(1 other version)Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.details
|
|
(1 other version)Subject and Predicate in Western logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.details
|
|
Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.Thoralf Skolem - 1955 - In ¸ Iteskolem:Swl. pp. 137--52.details
|
|
With Trotsky in Exile: From Prinkipo to Coyoacán.Jean van Heijenoort - 1979 - Studies in Soviet Thought 20 (4):391-396.details
|
|
Frege and Vagueness.Jan van Heijenoort - 1986 - In Leila Haaparanta & Jaakko Hintikka (eds.), Frege Synthesized: Essays on the Philosophical and Foundational Work of Gottlob Frege. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 31-45.details
|
|