Symbolic Logic Syntax, Semantics, And Proof, David
Author:
David Agler