عنوان
پدید آورنده
موضوع
رده
QA 9 .H44 1973
QA
9
.
H44
1973
کتابخانه
محل استقرار
36505
آخر۲۷
English
)20(
Hermes, Hans
Introduction to mathematical logic
Berlin
Springer- Verlag
1973
xi, 242p
Bibliographical references: p. 229-234
، Logic, Symbolic and mathematical
QA
9
.
H44
1973
AU
trasnslated from German by Diana Schmidt
TI
02
