Biblioteca da Universidade do Minho

Your cart is empty.
Bornat,, Richard Proof and disproof in formal logic : an introduction for programmers / Richard Bornat

Proof and disproof in formal logic : an introduction for programmers / Richard Bornat . - Oxford : Oxford University Press, cop. 2005 . - XIX, 243 p. : il. 24 cm . - (Oxford texts in logic; 2)
0-19-8530277 Brochado9780-19-853027-5

510.6