Symbolic Logic and Mechanical Theorem ProvingE-bookSymbolic Logic and Mechanical Theorem ProvingdeChin-Liang ChangNota: 0 de 5 estrelas0 notasSalve Symbolic Logic and Mechanical Theorem Proving para mais tarde