Symbolic Logic and Mechanical Theorem ProvingCărți electroniceSymbolic Logic and Mechanical Theorem ProvingdinChin-Liang ChangEvaluare: 0 din 5 stele0 evaluăriSalvați Symbolic Logic and Mechanical Theorem Proving pentru mai târziu