Title: First-Order Logic: A Concise Introduction, Author: John Heil
Title: Mathematics and Logic in History and in Contemporary Thought, Author: Ettore Carruccio