Advanced Topics in Computational Logic: Literature

Saarland University Computer Science

Topics for presentations

Model Theory

Extensionality and Higher-Order Logic

Modal Logic

Completeness of Higher-order Logic

Proof Theory

Temporal Logic

Girard's Paradox

Finite Model Theory

On presentations

Last Change: Sat Oct 28 17:12:37 2017 |