Hedman, Shawn.
A first course in logic : an introduction to model theory, proof theory, computtability, and complexity / by Shawn Hedman. - / . - Oxford : Oxford University Press , 2006. - xx,431p. : illus.,figs. ; 25cm .
Includes bibliogrphy & index
0198529813 GBP 29.99
LOGIC
160 / HED/F
A first course in logic : an introduction to model theory, proof theory, computtability, and complexity / by Shawn Hedman. - / . - Oxford : Oxford University Press , 2006. - xx,431p. : illus.,figs. ; 25cm .
Includes bibliogrphy & index
0198529813 GBP 29.99
LOGIC
160 / HED/F