Symbolic Logic and Mechanical Theorem ProvingeBookSymbolic Logic and Mechanical Theorem ProvingvonChin-Liang ChangBewertung: 0 von 5 Sternen0 BewertungenSymbolic Logic and Mechanical Theorem Proving für später speichern