Showing 1 - 20 results of 35 for search 'Visser, Albert', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Relative interpretations in constructive arithmetic

    Relative interpretations in constructive arithmetic by Visser, Albert

    Published 2005
    Book Interlibrary loan Place Request


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

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

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    An overview of interpretability logic

    An overview of interpretability logic by Visser, Albert

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Contexts in dynamic predicate logic

    Contexts in dynamic predicate logic by Visser, Albert

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Embeddings of Heyting algebras

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    The unprovability of small inconsistency

    The unprovability of small inconsistency by Visser, Albert

    Published 1991
    Book Interlibrary loan Place Request


    Saved 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 by Visser, Albert

    Published 1990
    Book Interlibrary loan Place Request


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

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

    Published 1989
    Book Interlibrary loan Place Request


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

    A course in bimodal provability logic by Visser, Albert

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Aspects of diagonalization and provability

    Aspects of diagonalization and provability by Visser, Albert

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    The predicative Frege hierarchy

    The predicative Frege hierarchy by Visser, Albert

    Published 2006
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    On the limit existence principles in elementary arithmetic and related topics

    On the limit existence principles in elementary arithmetic and related topics by Beklemishev, Lev D. 1967-, Visser, Albert

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Categories of theories and interpretations

    Categories of theories and interpretations by Visser, Albert

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    The interpretability logic of all reasonable arithmetical theories the new conjecture

    The interpretability logic of all reasonable arithmetical theories the new conjecture by Joosten, Joost J., Visser, Albert

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Dynamics

    Dynamics by Muskens, Reinhard, Benthem, Johan van 1949-, Visser, Albert

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Dynamics

    Dynamics by Muskens, Reinhard, Benthem, Johan van 1949-, Visser, Albert

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Bisimulations, model descriptions and propositional quantifiers

    Bisimulations, model descriptions and propositional quantifiers by Visser, Albert

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Dynamic bracketing and discourse representation

    Dynamic bracketing and discourse representation by Vermeulen, Cees F., Visser, Albert

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Interpretations over Heyting's arithmetic

    Interpretations over Heyting's arithmetic by Visser, Albert

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Interpretability logic

    Interpretability logic by Visser, Albert

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: