عنوان

Logic, semantics, metamathematics :

0915144751

091514476X

9780915144754

9780915144761

Logic, semantics, metamathematics :

[Book]

papers from 1923 to 1938 /

by Alfred Tarski ; translated by J.H. Woodger.

2nd ed. /

edited and introduced by John Corcoran.

Indianapolis, Ind. :

Hackett Pub. Co.,

©1983.

xxx, 506 pages ;

23 cm

Includes indexes.

Includes bibliographical references (pages 456-462).

On the primitive term of logistic -- Foundations of the geometry of solids -- On some fundamental concepts of metamathematics -- Investigations into the sentential calculus / Jan Lukasiewicz and Alfred Tarski -- Fundamental concepts of the methodology of the deductive sciences -- On definable sets of real numbers -- Logical operations and projective sets / Casimir Kuratowski and Alfred Tarski -- The concept of truth in formalized languages -- Some observations on the concepts of w -- consistency and w -- completeness -- Some methodological investigations on the definability of concepts -- On the foundations of boolean algebra -- Foundations of the calculus of systems -- On the limitations of the means of expression of deductive theories / Adolf Lindenbaum and Alfred Tarski -- On extensions of incomplete systems of the sentential calculus -- The establishment of scientific semantics -- On the concept of logical consequence -- Sentential calculus and topology.

0

Logic, Symbolic and mathematical.

Semantics (Philosophy)

Logique symbolique et mathématique.

Sémantique (Philosophie)

Formale Semantik

Formale Semantik.

Logic, Symbolic and mathematical.

Logica.

Mathematische Logik

Mathematische Logik.

Metamathematica.

Semantics (Philosophy)

Semantiek.

Tarski, Alfred.

Corcoran, John,1937-

20200822144204.0

[Book]

Y