Symbolic Logic and Mechanical Theorem Proving - Used

Bok av Chin-Liang Chang