Zoekresultaten
Resultaat 1 - 3 (van 3)
A. Visser The formalization of interpretability
Non-fictie
Engels | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
Dick de Jongh | A. Visser Explicit fixed points for interpretability logic
Non-fictie
Engels | 9 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
A. Visser On the →S01⇋-conservativity of →S01⇋-completeness
Non-fictie
Engels | 9 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek