Symbolic Logic door David W. Agler & David Agler