A first course in logic: an introduction to model theory, proof theory, computability, and complexity
Hedman Shawn
A first course in logic: an introduction to model theory, proof theory, computability, and complexity - Great Clarendon Street, Oxford Oxford Univ. Press c2006 - xx, 431 p. ; 23 cm. 23 cm
Includes bibliography and index.
0198529805
Logic
QA 9 .H43 2006
A first course in logic: an introduction to model theory, proof theory, computability, and complexity - Great Clarendon Street, Oxford Oxford Univ. Press c2006 - xx, 431 p. ; 23 cm. 23 cm
Includes bibliography and index.
0198529805
Logic
QA 9 .H43 2006