Menu
Home
Advanced Search
Directory of Libraries
عنوان
Sentences undecidable in formalized arithmetic
پدید آورنده
/ Andrzej Mostowski
موضوع
رده
QA9
.
65
،.
M67
1964
کتابخانه
Central Library and Documents Center of Allameh Tabatabaei University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
39
-
55420036
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0313231516
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
1139
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Sentences undecidable in formalized arithmetic
General Material Designation
[Book]
Other Title Information
:: an exposition of the theory of Kurt Godel
First Statement of Responsibility
/ Andrzej Mostowski
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Date of Publication, Distribution, etc.
, .1964.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 117 p.
Other Physical Details
:; 23 cm
GENERAL NOTES
Text of Note
Reprint. Originally published: Amsterdam : North-Holland Pub. Co., 1952. (Studies in logic and the foundations of mathematics)
Text of Note
Includes index
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: p. [116]-117
TOPICAL NAME USED AS SUBJECT
Gغodel's theorem
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
65
Book number
.
M67
1964
PERSONAL NAME - PRIMARY RESPONSIBILITY
Mostowski, Andrzej
PERSONAL NAME - SECONDARY RESPONSIBILITY
Title، Series: Studies in logic and the foundations of mathematics
Title، Series: Studies in logic and the foundations of mathematics
ORIGINATING SOURCE
Country
ایران
Agency
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal