"Proof-Theoretical Coherence" - читать интересную книгу автора (Kosta Dosen, Zoran Petric)