Mathematical Logic - storpocket, Engelska, 2023