Journal of Applied Logics - the IfCoLog Journal of Logics and Their Applications - Volume 10, Issue 2, March 2023. Special Issueby Christoph Beierle, Marco Ragni, Frieder StolzenburgWriting a summary for young readers…For young readersBook data: Open Library