Simple Type Theory - pocket, Engelska, 2023