Taking the "Oof" out of proofs - Draganov, Alexandr (Baca Raton CRC Press, 2024)
Keywords: Proof theory; Mathematics