Introduction to mathematical structures and proofs - Gerstein, Larry J. (New York Springer-Verlag, 1996)
Keywords: Logic, Symbolic and mathematical; Mathematics; Number theory; Combinatorial analysis