Hedman,, Shawn
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
. - Oxford : Oxford University Press, imp. 2006
. - XX, 431 p. 25 cm
. - (Oxford texts in logic; 1)
978-0-19-852980-4 Encadernado
510.6