عنوان
پدید آورنده
موضوع
رده
QA 9 .K32 2007
QA
9
.
K32
2007
کتابخانه
محل استقرار
84225
English
Kaye, Richard W.
The mathematics of logic : a guide to completeness theorems and their applications
Cambridge ; New York
Cambridge University Press
2007
xi, 204 p. : ill. ; 24 cm
Includes bibliographical references )p. 109( and index
Richard W. Kaye
، Logic, Symbolic and mathematical
QA
9
.
K32
2007
AU
TI
یاضه ریه دانشکدانابخکت
