Zoekresultaten
Resultaat 1 - 2 (van 2)
Lex Hendriks | Dick de Jongh Characterization of strongly equivalent logic programs in intermediate logics
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
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