What Does Goedel's second Theorem Say? by Michael Detlefsen
Great Ideas in Theoretical Computer Science
Mathematics for Computer Science
Feferman su Penrose
Logiche Modali Proposizionali CAP I-IV
Knowledge-Based Applications Systems
On Gödel's General Philosophical Viewpoint
Logic II
Modal Logic
Modal Logic and Philosophy