Zoekresultaten
Resultaat 1 - 3 (van 3)
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
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