Zoekresultaten
Resultaat 21 - 38 (van 38)
A. Visser An inside view of EXP, or the closed fragment of the provability logic of I→DN⇋ 0 →O⇋ with a propositional constant for EXP
Non-fictie
Engels | 38 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1990
Gedrukt boek
Dick de Jongh | A. Visser Explicit fixed points for interpretability logic
Non-fictie
Engels | 9 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
A. Visser On the →S01⇋-conservativity of →S01⇋-completeness
Non-fictie
Engels | 9 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
A. Visser A descending hierarchy of reflection principles
Non-fictie
Engels | 6 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
A. Visser A course in bimodal provability logic
Non-fictie
Engels | 54 pagina's | University of Utrecht, Department of Philosophy, Utrecht | 1987
Gedrukt boek
A. Visser Peano's smart children
a provability logical study of systems with built-in consistency
Non-fictie
Engels | 49 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1986
Gedrukt boek
A. Visser The predicative Frege hierarchy
Non-fictie
Engels | 46 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
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 Context modification in action
Non-fictie
Engels | 43 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2003
Gedrukt boek
A. Visser The donkey and the monoid
dynamic semantics with control elements
Non-fictie
Engels | 31 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
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
M.J. Hollenberg | A. Visser Dynamic negation, the one and only
Non-fictie
Engels | 5 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
A. Visser Bisimulations, model descriptions and propositinal quantifiers
Non-fictie
Engels | 39 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Reinhard Muskens | Johan van Benthem | A. Visser Dynamics
Non-fictie
Engels | 54 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
C.F.M. Vermeulen | A. Visser Dynamic bracketing and discourse representation
Non-fictie
Engels | 53 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
A. Visser Interpretations over Heyting's arithmetic
Non-fictie
Engels | 30 pagina's | Utrecht University, Utrecht | 1995
Gedrukt boek
A. Visser Lazy & quarrelsome brackets
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1992
Gedrukt boek
C.F.M. Vermeulen | E. Wolters | A. Visser Algebras for Boolean presuppositions
Non-fictie
Engels | 38 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek