Symbolic Logic and Mechanical Theorem ProvingLibro electrónicoSymbolic Logic and Mechanical Theorem ProvingdeChin-Liang ChangCalificación: 0 de 5 estrellas0 calificacionesGuardar Symbolic Logic and Mechanical Theorem Proving para después