Biblioteca da Universidade do Minho

Your cart is empty.
Hedman,, Shawn A first course in logic : an introduction in model theory, proof theory, computability, and complexity / Shawn Hedman

A first course in logic : an introduction in model theory, proof theory, computability, and complexity / Shawn Hedman . - Oxford : Oxford University, cop. 2004 . - XX, 431 p. 24 cm . - (Oxford texts in logic; 1)
0-19-852981-3 Brochado

510.6