عنوان

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