Logic and Set Theory, by A. Lehnen
Valid and Sound Arguments
How many Primes less than x?
Discrete Mathematics, by W.W.L. Chen
Finite State Machines, by W.W.L. Chen
Finite State Machines and Animated Agents, by I. Rudomin, E. Millan, and B. Hernandez