Zoekresultaten
Resultaat 1 - 20 (van 38)
A. Visser Het tekst continuüm
Non-fictie
Nederlands | 21 pagina's | Universiteit Utrecht, Faculteit der Wijsbegeerte, Utrecht | 2000
Gedrukt boek
A. Visser Preliminary notes on interpretability logic
Non-fictie
Engels | 37 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
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
A. Visser Faith & falsity
a study of faithful interpretations and false →S⇋01-sentences
Non-fictie
Engels | 35 pagina's | Zeno Institute of Philosophy, Utrecht | 2002
Gedrukt boek
A. Visser The formalization of interpretability
Non-fictie
Engels | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1989
Gedrukt boek
A. Visser Interpretability logic
Non-fictie
Engels | 34 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
A. Visser Prolegomena to the categorical study of interpretations
Non-fictie
Engels | 24 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
L.D. Beklemishev | A. Visser Problems in the logic of provability
Non-fictie
Engels | 49 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
A. Visser Propositional logics of closed and open substitutions of Heyting's arithmetic
Non-fictie
Engels | 13 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
A. Visser Categories of theories and interpretations
Non-fictie
Engels | 64 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2004
Gedrukt boek
A. Visser No escape from Vardanyan's theorem
Non-fictie
Engels | 14 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2003
Gedrukt boek
Giovanna D'Agostino | A. Visser Finality regained
a coalgebraic study of Scott-sets and multisets
Non-fictie
Engels | 36 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Joost J. Joosten | A. Visser The interpretability logic of all reasonable arithmetical theories
the new conjecture
Non-fictie
Engels | 25 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
Gedrukt boek
A. Visser Submodels of Kripke Models
Non-fictie
Engels | 23 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
A. Visser An overview of interpretability logic
Non-fictie
Engels | 53 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
A. Visser Prolegomena to the definition of dynamic predicate logic with local assignments
Non-fictie
Engels | 36 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1997
Gedrukt boek
A. Visser Relational validity & dynamic predicate logic
Non-fictie
Engels | 7 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
A. Visser Context in dynamic predicate logic
Non-fictie
Engels | 21 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
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
A. Visser The unprovability of small inconsistency
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek