How to derive principles of interpretability logic. A toolkit.

J.J. Joosten, A. Visser

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationLiber Anicorum ter gelegenheid van Dick de Jongh
EditorsL. Afanasiev, M. Marx
Place of PublicationAmsterdam
PublisherILLC
Publication statusPublished - 2004

Cite this