Introduction to mathematical structures and proofs - Gerstein, Larry J. (New York Sudbury, MA Springer Jones and Bartlett Publishers, 1996)
Keywords: Logic, Symbolic and mathematical