Symbolic Logic and Mechanical Theorem ProvingLivre électroniqueSymbolic Logic and Mechanical Theorem ProvingdeChin-Liang ChangÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer Symbolic Logic and Mechanical Theorem Proving pour plus tard