Symbolic Logic and Mechanical Theorem Proving (1973)

by C Chang