Proof and Disproof in Formal Logic : An Introduction for programmers Bornat, Richard 9780198530275 Oxford Texts in Logic Heftet 21.07.2005 Engelsk Midlertidig utsolgt
Proof and Disproof in Formal Logic Bornat, Richard 9780198530268 Oxford Texts in Logic Innbundet 21.07.2005 Engelsk Midlertidig utsolgt