Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدید آورنده
Mostowski, Andrzej.
موضوع
، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده
QA
9
.
65
.
M68
کتابخانه
Central Library and Documentation Center
محل استقرار
استان:
Kerman
ـ شهر:
Kerman
تماس با کتابخانه :
03433257204
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland Pub. Co.
Date of Publication, Distribution, etc.
1952
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
117 p. 23 cm
SERIES
Other Title Information
Studies in logic and the foundations of mathematics
GENERAL NOTES
Text of Note
Bibliography: p. 116-117
Text of Note
Includes bibliography
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Andrzej Mostowski
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Semantics )Philosophy(
Entry Element
، Godel's theorem
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
65
.
M68
OTHER CLASS NUMBERS
Class number
CA
Class number
164
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Mostowski, Andrzej.
Relator Code
AU
TI
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal