Zoekresultaten
Resultaat 1 - 11 (van 11)
Gerard R. Renardel de Lavalette Strictheidsanalyse
Non-fictie
Nederlands | 39 pagina's | Rijksuniversiteit Utrecht, Filosofisch Instituut, Utrecht | 1986
Gedrukt boek
Gerard R. Renardel de Lavalette How to change your world
a variant of quantified dynamic logic
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1997
Gedrukt boek
Gerard R. Renardel de Lavalette Counterexamples in applicative theories with choice
Non-fictie
Engels | 8 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1990
Gedrukt boek
Gerard R. Renardel de Lavalette Choice in applicative theories
Non-fictie
Engels | 19 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
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
Gerard R. Renardel de Lavalette Interpolation in fragments of intuitionistic propositional logic
Non-fictie
Engels | 17 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1987
Gedrukt boek
Gerard R. Renardel de Lavalette Interpolation in a fragment of intuitionistic propositional logic
Non-fictie
Engels | 8 pagina's | University of Utrecht, Utrecht | 1986
Gedrukt boek
Gerard R. Renardel de Lavalette Interpolation in natural fragments of intuitionistic propositional logic
Non-fictie
Engels | 13 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1986
Gedrukt boek
C.M. Jonker | Gerard R. Renardel de Lavalette A tractable algorithm for the wellfounded model
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek
C.P.J. Koymans | Gerard R. Renardel de Lavalette Inductive definitions in COLD-k
Non-fictie
Engels | 13 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
Henk Jonkers | C.P.J. Koymans | Gerard R. Renardel de Lavalette A semantic framework for the COLD-family of languages
Non-fictie
Engels | 58 pagina's | University of Utrecht, Utrecht | 1986
Gedrukt boek