عنوان
پدید آورنده
موضوع
رده
QA 9 .S75
QA
9
.
S75
کتابخانه
محل استقرار
35641
English
Smullyan, Raymond M
First-order logic
Berlin, New York
Springer-Verlag
1968
xii, 158 p. ; 24 cm
Ergebnisse der mathematik und ihere Grenzgebiete Bd. 34
Bibliography: p. ]156[
]by[ Raymond M. Smullyan
، Logic, Symbolic and mathematical
QA
9
.
S75
AU
TI
یاضه ریه دانشکدانابخکت
