Logic and Set Theory, by A. Lehnen
Valid and Sound Arguments
How many Primes less than x?
Discrete Mathematics, by W.W.L. Chen