عنوان
پدید آورنده
موضوع
رده
BC 135 .M6
BC
135
.
M6
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
لاتين
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
1964 [c1952]
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
117 p
SERIES
Series Title
Studies in logic and the foundaations of mathematics
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
مرجع به حساب نمي آيد
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: p. [116]-117
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical
Entry Element
Semantics (Philosophy)
Entry Element
Godel, Kurt
LIBRARY OF CONGRESS CLASSIFICATION
Class number
BC
135
.
M6
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
مولف
Relator Code
Mostowski, Andrzej
