Proof and Disproof in Formal Logic: An Introduction for programmers Oxford Texts in Logic Autor Richard Bornat 21 iul 2005 Paperback Preț: 424.52 lei 616.15 lei 45-50 zile -31%