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