Zoekresultaten
Resultaat 1 - 3 (van 3)
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
Dick de Jongh | Marc Jumelet | Franco Montagna On the proof of Solovay's theorem
Non-fictie
Engels | 20 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
Dick de Jongh | Franco Montagna Rosser orderings and free variables
Non-fictie
Engels | 10 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek