Zoekresultaten
Resultaat 1 - 1 (van 1)
A. Visser Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas
Engels | 58 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1985
Gedrukt boek