Symbolic Logic and Mechanical Theorem ProvingE-bookSymbolic Logic and Mechanical Theorem ProvingdiChin-Liang ChangValutazione: 0 su 5 stelle0 valutazioniSalva Symbolic Logic and Mechanical Theorem Proving per dopo