Incompleteness of a First-Order Gdel Logic and Some Temporal Logics of Programs.

Matthias Baaz, Alexander Leitsch, Richard Zach

Browse the full CSL paper archive.