Zoekresultaten
Resultaat 1 - 2 (van 2)
Marta Bilkova | Dick de Jongh | Joost J. Joosten Interpretability in PRA
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
G. Bezhanishvili | Nick Bezhanishvili | Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek