Biblioteca da Universidade do Minho

Your cart is empty.
Boolos,, George S. Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey

Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey . - 4th ed . - Cambridge : Cambridge University Press, 2002 . - XI, 356 p. 26 cm
0-521-00758-5 Brochado

510.6
510.57