Trapiche
Logic, proof, and set theory, de Judith A. Beecher · Trapiche