First-Order Logic: Deductive Systems - Ben-Ari, Mordechai (Mathematical Logic for Computer Science, 2012)
Keywords: First-order Logic; Gentzen System; Gentzen's Proof; Mathematical foundations; Mathematical logic; Mathematical theory of computation; Semantic Tableaux; Universal Quantifier