Suchergebnisse - Visser, Albert

Treffer filtern
  1. 1
    Buchumschlag

    Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Visser, Albert …”
    Online lesen
    Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    On the sigma-conservativity of sigma-completeness On the ... -conservativity of ...-completeness
    von Visser, Albert

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Evaluation, provably deductive equivalence in heyting's arithmetic of substitution instances of propositional formulas
    von Visser, Albert

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    The unprovability of small inconsistency
    von Visser, Albert

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    An inside view of EXP: or The closed fragment of the provability logic of ... with a propositional constant for EXP
    von Visser, Albert

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Aspects of diagonalization and provability
    von Visser, Albert

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Logic and information flow

    Veröffentlicht 1994
    Weitere beteiligte Personen: “… Visser, Albert …”
    Online lesen
    E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Prolegomena to the categorical study of interpretations
    von Visser, Albert

    Veröffentlicht 2006
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Propositional logics of closed and open substitutions over Heyting's arithmetic
    von Visser, Albert

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    No escape from Vardanyan's theorem
    von Visser, Albert

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    The donkey and the monoid: dynamic semantics with control elements
    von Visser, Albert

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Prolegomena to the definition of dynamic predicate logic with logical assignments
    von Visser, Albert

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Relational validity & dynamic predicate logic
    von Visser, Albert

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Propositional combinations of Sigma-sentences in Heyting's Arithmetic: explorations between intuitionistic propositional logic and intuitionistic arithmetic
    von Visser, Albert

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Actions under presuppositions
    von Visser, Albert

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    An inside view of EXP: or The closed fragment of the provability of I delta 0 + omega 1 with a propositional constant for EXP
    von Visser, Albert

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    The formalization of interpretability
    von Visser, Albert

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Preliminary notes on interpretability logic
    von Visser, Albert

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Relative interpretations in constructive arithmetic
    von Visser, Albert

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Faith & falsity: a study of aithful interpretations and false sentences
    von Visser, Albert

    Veröffentlicht 2002
    Buch


    Gespeichert in:

Suchwerkzeuge: