Showing 1 - 3 results of 3 for search 'Setzer, Anton', query time: 0.02s 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
    A note on Degen's generalization of the pigeonhole principle, st-connectivity, and odd charged graphs

    A note on Degen's generalization of the pigeonhole principle, st-connectivity, and odd charged graphs by Clote, Peter, Setzer, Anton

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Proof theoretical strength of Martin-Löf-Type-Theory with W-type and one universe

    Proof theoretical strength of Martin-Löf-Type-Theory with W-type and one universe by Setzer, Anton

    Published 1993
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proof theoretical stregth of Martin-Löf type theory with W-type and one universe

    Proof theoretical stregth of Martin-Löf type theory with W-type and one universe by Setzer, Anton

    Published 1993
    Thesis Book Interlibrary loan Place Request


    Saved in:

Search Tools: