Logical methods the art of thinking abstractly and mathematically - Antonsen, Roger (Springer, 2021)