• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Logic, semantics, metamathematics :

پدید آورنده
by Alfred Tarski ; translated by J.H. Woodger.

موضوع
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.

رده
BC135
.
T35
1983

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0915144751
(Number (ISBN
091514476X
(Number (ISBN
9780915144754
(Number (ISBN
9780915144761

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Logic, semantics, metamathematics :
General Material Designation
[Book]
Other Title Information
papers from 1923 to 1938 /
First Statement of Responsibility
by Alfred Tarski ; translated by J.H. Woodger.

EDITION STATEMENT

Edition Statement
2nd ed. /
Statement of Responsibility Relating to Edition
edited and introduced by John Corcoran.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Indianapolis, Ind. :
Name of Publisher, Distributor, etc.
Hackett Pub. Co.,
Date of Publication, Distribution, etc.
©1983.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xxx, 506 pages ;
Dimensions
23 cm

GENERAL NOTES

Text of Note
Includes indexes.

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references (pages 456-462).

CONTENTS NOTE

Text of Note
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

TOPICAL NAME USED AS SUBJECT

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.

DEWEY DECIMAL CLASSIFICATION

Number
160
Edition
19

LIBRARY OF CONGRESS CLASSIFICATION

Class number
BC135
Book number
.
T35
1983

OTHER CLASS NUMBERS

Class number
08
.
33
Class number
31
.
00
Class number
31
.
02
Class number
31
.
10
Class number
5
,
1
System Code
bcl
System Code
bcl
System Code
bcl
System Code
bcl
System Code
ssgn

PERSONAL NAME - PRIMARY RESPONSIBILITY

Tarski, Alfred.

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Corcoran, John,1937-

ORIGINATING SOURCE

Date of Transaction
20200822144204.0

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival