Alfred Tarski : life and logic / by Feferman, Anita Burdman

Introduction to logic and to the methodology of deductive sciences, by Tarski, Alfred

Introduction to logic and to the methodology of the deductive sciences / by Tarski, Alfred

CONNECT

The axiomatic method /

CONNECT

Cylindric algebras. by Henkin, Leon, Monk, J. Donald 1930-, Tarski, Alfred, 1901-1983

CONNECT

Undecidable theories /

CONNECT

A Decision Method for Elementary Algebra and Geometry / by Tarski, Alfred, McKinsey, J. C. C.

CONNECT

Logic, semantics, metamathematics : papers from 1923 to 1938 / by Tarski, Alfred

Logic, methodology and philosophy of science : proceedings of the 1960 international congress /

CONNECT

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday /

Theories of truth : a critical introduction / by Kirkham, Richard L.

Table of Contents: “…Projects of theories of truth -- Justification and truth bearers -- Nonrealist theories -- The correspondence theory -- Alfred Tarski's semantic theory -- Objections to Tarski's theory -- The justification project -- Davidson and Dummett -- The liar paradox -- The speech-act project and the deflationary thesis.…”

A companion to analytic philosophy /

Table of Contents: “…. -- Gilbert Ryle (1900-1976) / Avrum Stroll. -- Alfred Tarski (1902-1983), Alonzo Church (1903-1995), and Kurt Gödel (1906-1978) / C. …”
CONNECT

The Princeton companion to mathematics /

Table of Contents:

The Princeton companion to mathematics /

Table of Contents: CONNECT
CONNECT

Between logic and intuition : essays in honor of Charles Parsons /

CONNECT

Truth / by Burgess, Alexis, 1980-

CONNECT

Philosophy of language : the central topics /

Table of Contents: “…Philosophical investigations (excerpts) / Ludwig Wittgenstein -- Rules and representations (excerpt) / Noam Chomsky -- The semantic conception of truth / Alfred Tarski -- Semantics for natural languages / Donald Davidson -- Indeterminacy of translation again / W.V. …”
CONNECT

Zen and Western Philosophy : Philosophers' Ideas in Haiku. by Baronett, Stan

Table of Contents: “…Moore -- Albert Einstein -- Moritz Schlick -- Otto Neurath -- Ludwig Wittgenstein -- Martin Heidegger -- Rudolf Carnap -- Hans Reichenbach -- Susanne Langer -- Herbert Marcuse -- Gilbert Ryle -- Alfred Tarski…”
CONNECT

Memoirs of a proof theorist : Gödel and other logicians / by Takeuti, Gaisi, 1926-2017

Table of Contents: “…Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. …”
CONNECT

Mathematical logic in the 20th century /

CONNECT