Proof and Disproof in Formal Logic: An Introduction for programmers Oxford Texts in Logic Autor Richard Bornat 20 iul 2005 Paperback Preț: 386.31 lei 509.60 lei 31-37 zile -24%