Interpretability logic (1990)

by Albert Visser
Venue:Mathematical Logic, Proceedings of the 1988 Heyting Conference
Citations:32 - 9 self

Document Versions

Interpretability logic –Albert Visser — 1990 — Mathematical Logic, Proceedings of the 1988 Heyting Conference
Interpretability logic –Albert Visser — 1990 — Mathematical logic, Proceedings of the Heyting 1988 summer school in Varna, Bulgaria
An overview of Interpretability Logic –Albert Visser — 1997 — Mathematical Logic, Proceedings of the 1988 Heyting Conference