Logic for Computer Science: Foundations of Automatic Theorem Proving, Second EditioneBookLogic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionvonJean H. GallierBewertung: 3 von 5 Sternen3/5Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition für später speichern