Taking the “OOF!” Out of Proofs

Alexandr Draganov, 1032599022, 9781032599021, 9781032595986, 9781003456766