|
" Logic, semantics, metamathematics : "
by Alfred Tarski ; translated by J.H. Woodger.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
848842
|
| Main Entry
|
:
|
Tarski, Alfred.
|
| Title & Author
|
:
|
Logic, semantics, metamathematics : : papers from 1923 to 1938 /\ by Alfred Tarski ; translated by J.H. Woodger.
|
| Edition Statement
|
:
|
2nd ed. // edited and introduced by John Corcoran.
|
| Publication Statement
|
:
|
Indianapolis, Ind. :: Hackett Pub. Co.,, ©1983.
|
| Page. NO
|
:
|
xxx, 506 pages ;; 23 cm
|
| ISBN
|
:
|
0915144751
|
|
|
:
|
: 091514476X
|
|
|
:
|
: 9780915144754
|
|
|
:
|
: 9780915144761
|
| Notes
|
:
|
Includes indexes.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 456-462).
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Semantics (Philosophy)
|
| Subject
|
:
|
Logique symbolique et mathématique.
|
| Subject
|
:
|
Sémantique (Philosophie)
|
| Subject
|
:
|
Formale Semantik
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Mathematische Logik
|
| Subject
|
:
|
Semantics (Philosophy)
|
| Subject
|
:
|
Formale Semantik.
|
| Subject
|
:
|
Mathematische Logik.
|
| Subject
|
:
|
Logica.
|
| Subject
|
:
|
Metamathematica.
|
| Subject
|
:
|
Semantiek.
|
| Dewey Classification
|
:
|
160
|
| LC Classification
|
:
|
BC135.T35 1983
|
| NLM classification
|
:
|
08.33bcl
|
|
|
:
|
31.00bcl
|
|
|
:
|
31.02bcl
|
|
|
:
|
31.10bcl
|
|
|
:
|
5,1ssgn
|
| Added Entry
|
:
|
Corcoran, John,1937-
|
| |