Treffer 1 – 20 von 35 für Suche 'Visser, Albert', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Relative interpretations in constructive arithmetic

    Relative interpretations in constructive arithmetic von Visser, Albert

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Faith & falsity a study of aithful interpretations and false sentences

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

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An overview of interpretability logic

    An overview of interpretability logic von Visser, Albert

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Contexts in dynamic predicate logic

    Contexts in dynamic predicate logic von Visser, Albert

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Embeddings of Heyting algebras

    Embeddings of Heyting algebras von Jongh, Dick H. de, Visser, Albert

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The unprovability of small inconsistency

    The unprovability of small inconsistency von Visser, Albert

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    An inside view of EXP or The closed fragment of the provability logic of ... with a propositional constant for EXP

    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 Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Explicit fixed points in interpretability logic

    Explicit fixed points in interpretability logic von Jongh, Dick H. de, Visser, Albert

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A course in bimodal provability logic

    A course in bimodal provability logic von Visser, Albert

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Aspects of diagonalization and provability

    Aspects of diagonalization and provability von Visser, Albert

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Prolegomena to the categorical study of interpretations

    Prolegomena to the categorical study of interpretations von Visser, Albert

    Veröffentlicht 2006
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Propositional logics of closed and open substitutions over Heyting's arithmetic

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

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    No escape from Vardanyan's theorem

    No escape from Vardanyan's theorem von Visser, Albert

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    The donkey and the monoid dynamic semantics with control elements

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

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Prolegomena to the definition of dynamic predicate logic with logical assignments

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

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Relational validity & dynamic predicate logic

    Relational validity & dynamic predicate logic von Visser, Albert

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Propositional combinations of Sigma-sentences in Heyting's Arithmetic explorations between intuitionistic propositional logic and intuitionistic arithmetic

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Actions under presuppositions

    Actions under presuppositions von Visser, Albert

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    On the sigma-conservativity of sigma-completeness On the ... -conservativity of ...-completeness

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    An inside view of EXP or The closed fragment of the provability of I delta 0 + omega 1 with a propositional constant for EXP

    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: