Hakutulokset: ja tarski
yhteensä 58 hakutulosta
Metamathematische Methoden in der Geometrie
Das vorliegende Buch besteht aus zwei Teilen. Teil I enthält einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen …
Philosophy of Language
This collection of classic and contemporary essays in philosophy of language offers a concise introduction to the field for students in graduate and upper-division undergraduate …
Introduction to Logic and to the Methodology of Deductive Sciences
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the …
Gödel, Tarski and the Lure of Natural Language
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the …
Theory of Models
Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of …
Alfred Tarski and the "e;Concept of Truth in Formalized Languages"e;
This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and …
Godel, Tarski and the Lure of Natural Language
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the …
Collected Papers
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers …
Alfred Tarski
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are …
Carnap, Tarski, and Quine at Harvard
During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard, holding regular private meetings, with Carnap, Tarski, and Quine. Carnap, Tarski, …
Collected Papers
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's …