عنوان
پدید آورنده
موضوع
رده
QA 9 .H4413
QA
9
.
H4413
کتابخانه
محل استقرار
35677
English
Hermes, Hans
Introduction to mathematical logic
Berlin, New York
Springer-Verlag
1973
xi, 242 p. 26 cm
Universitext
Translation of Einfuhrung in die mathematische Logik
Bibliography: p. )229(-231
Translated from German by Diana Schmidt
، Logic, Symbolic and mathematical
QA
9
.
H4413
AU
TI
یاضه ریه دانشکدانابخکت
