Zoekresultaten
Resultaat 1 - 4 (van 4)
A. Visser Propositional combinations of →S⇋-sentences in Heyting's arithmetic
Non-fictie
Engels | 41 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
L.D. Beklemishev | A. Visser On the limit existence principles in elementary arithmetic and related topics
Non-fictie
Engels | 19 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
A. Visser Rules and arithmetics
Non-fictie
Engels | 31 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
A. Visser Interpretations over Heyting's arithmetic
Non-fictie
Engels | 30 pagina's | Utrecht University, Utrecht | 1995
Gedrukt boek