عنوان
پدید آورنده
موضوع
رده
QA 9 .H43F5
QA
9
.
H43F5
کتابخانه
محل استقرار
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
Oxford
Oxford University Press
c2004
xx, 431 p.: ill
Oxford texts in logic; 1
Bibliography: p.]426[-427
ISBN: 0198529813
Shawn Hedman
1
، Logic
، Logic, Symbolic and mathematical
QA
9
.
H43F5
Hedman, Shawn
AU
TI
SE
