Treffer 1 – 20 von 35 für Suche 'Visser, Albert', Suchdauer: 0,07s 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
    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:
  2. 2
    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:
  3. 3
    No escape from Vardanyan's theorem

    No escape from Vardanyan's theorem von Visser, Albert

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    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:
  5. 5
    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:
  6. 6
    Relational validity & dynamic predicate logic

    Relational validity & dynamic predicate logic von Visser, Albert

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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:
  8. 8
    Actions under presuppositions

    Actions under presuppositions von Visser, Albert

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    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:
  10. 10
    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:
  11. 11
    The formalization of interpretability

    The formalization of interpretability von Visser, Albert

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Preliminary notes on interpretability logic

    Preliminary notes on interpretability logic von Visser, Albert

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Evaluation, provably deductive equivalence in heyting's arithmetic of substitution instances of propositional formulas

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Relative interpretations in constructive arithmetic

    Relative interpretations in constructive arithmetic von Visser, Albert

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    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:
  16. 16
    An overview of interpretability logic

    An overview of interpretability logic von Visser, Albert

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Contexts in dynamic predicate logic

    Contexts in dynamic predicate logic von Visser, Albert

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Embeddings of Heyting algebras

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    The unprovability of small inconsistency

    The unprovability of small inconsistency von Visser, Albert

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    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:

Suchwerkzeuge: