Interpretability logic (1990)

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