Zoekresultaten
Resultaat 21 - 26 (van 26)
Dick de Jongh | Lex Hendriks | Gerard R. Renardel de Lavalette Computations in fragments of intuitionistic propositional logic
Non-fictie
Engels | 26 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Dick de Jongh | F. Montagna Much shorter proofs
Non-fictie
Engels | 21 pagina's | Faculteit Wiskunde & Informatica, Universiteit van Amsterdam, Amsterdam | 1987
Gedrukt boek
Kenneth A. Bowen | Dick de Jongh Well-founded time, forward looking operators
Non-fictie
Engels | 14 pagina's | Institute for Language, Logic and Information, Amsterdam | 1986
Gedrukt boek
Dick de Jongh | F. Montagna Provable fixed points
Non-fictie
Engels | 31 pagina's | Mathematisch Instituut, Universiteit van Amsterdam, Amsterdam | 1986
Gedrukt boek
Dick de Jongh A simplification of a completeness proof of Guaspari and Solovay
Non-fictie
Engels | 7 pagina's | Universiteit van Amsterdam, Mathematisch Instituut, Amsterdam | 1985
Gedrukt boek
Dick de Jongh | F. Montagna Generic generalized rosser fixed points
Non-fictie
Engels | 12 pagina's | Universiteit van Amsterdam, Mathematisch Instituut, Amsterdam | 1985
Gedrukt boek