Logic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionE-bookLogic for Computer Science: Foundations of Automatic Theorem Proving, Second EditiondeJean H. GallierNota: 3 de 5 estrelas3/5Salve Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition para mais tarde