عنوان
پدید آورنده
موضوع
رده
BC 135 .M6
BC
135
.
M6
کتابخانه
محل استقرار
لاتين
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
1964 [c1952]
117 p
Studies in logic and the foundaations of mathematics
مرجع به حساب نمي آيد
Bibliography: p. [116]-117
Logic, Symbolic and mathematical
Semantics (Philosophy)
Godel, Kurt
BC
135
.
M6
مولف
Mostowski, Andrzej
