Title: Symbolic Logic and the Game of Logic, Author: Lewis Carroll
Title: In Search of Infinity, Author: N.Ya. Vilenkin
Title: Mathematics and Logic in History and in Contemporary Thought, Author: Ettore Carruccio
Title: First-Order Logic: A Concise Introduction, Author: John Heil