Symbolic Logic by David W. Agler & David Agler