Proof and Disproof in Formal Logic: An Introduction for programmers Oxford Texts in Logic Autor Richard Bornat 21 iul 2005 Paperback Preț: 471.91 lei 659.32 lei 43-49 zile -28%