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