Biblioteca da Universidade do Minho

Your cart is empty.
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