Logic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionE-bookLogic for Computer Science: Foundations of Automatic Theorem Proving, Second EditiondiJean H. GallierValutazione: 3 su 5 stelle3/5Salva Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition per dopo