عنوان
پدید آورنده
موضوع
رده
QA9 .H36 2004
QA9
.
H36
2004
کتابخانه
محل استقرار
A first course in logic :an introduction to model theory, proof theory, computability, and complexity
Oxford ; New York
Oxford University Press
Oxford texts in logic ;1
Includes bibliographical references )p. ]426[-427( and index
Shawn Hedman
، Logic
، Logic, Symbolic and mathematical
QA9
.
H36
2004
Hedman, Shawn.
AU
TI
SE
