Logic, semantics, metamathematics : papers from 1923 to 1938 /

Logique, semantique, metamathematique, 1923-1944.
by: Tarski, Alfred, 1901-1983
Published: (1972)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Published: (1952)

Logic and knowledge : essays, 1901-1950 /
by: Russell, Bertrand, 1872-1970
Published: (1956)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

Meaning and necessity : a study in semantics and modal logic /
by: Carnap, Rudolf, 1891-1970
Published: (1988)

Meaning and necessity : a study in semantics and modal logic /
by: Carnap, Rudolf, 1891-1970
Published: (1956)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)

Introduction to semantics.
by: Carnap, Rudolf, 1891-1970
Published: (1942)

Sentences undecidable in formalized arithmetic.
by: Mostowski, Andrzej
Published: (1952)

The concept of language.
by: Wilson, Neil Leslie, 1922-
Published: (1959)

The semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (1990)

Alfred Tarski and the Vienna Circle : Austro-Polish Connections in Logical Empiricism /
by: Woleński, Jan
Published: (1999)

Philosophical remarks /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1975)

The Big Typescript, TS. 213 /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2005)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Truth and meaning : essays in semantics /
Published: (1976)

Handbook of mathematical logic /
Published: (1977)

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Ontology and the logistic analysis of language. : An enquiry into the contemporary views on universals /
by: Kung, Guido
Published: (1967)

Philosophy and model theory /
by: Button, Tim, et al.
Published: (2018)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Published: (1973)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Word and object.
by: Quine, W. V. (Willard Van Orman)
Published: (1960)

Major works : selected philosophical writings /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2009)

Routley-Meyer ternary relational semantics for intuitionistic-type negations /
by: Robles, Gemma, et al.
Published: (2018)

Formalization of logic /
by: Carnap, Rudolf, 1891-1970
Published: (1947)

Truth through proof : a formalist foundation for mathematics /
by: Weir, Alan
Published: (2010)

The norm of truth : an introduction to the philosophy of logic /
by: Engel, Pascal, 1954-
Published: (1991)

Truth, syntax and modality ; proceedings of the Temple University Conference on Alternative Semantics /
Published: (1973)

Subjectivity and perspective in truth-theoretic semantics /
by: Lasersohn, Peter
Published: (2017)

Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)

An introduction to symbolic logic.
by: Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Published: (1953)