Showing 1 - 5 results of 5 for search 'Strahm, Thomas', 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
    Special issue: Gödel's dialectica interpretation

    Special issue: Gödel's dialectica interpretation

    Published 2008
    Other Authors: “…Strahm, Thomas…”
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Turing’s revolution the impact of his ideas about computability

    Turing’s revolution the impact of his ideas about computability

    Published 2015
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Turing’s revolution the impact of his ideas about computability

    Turing’s revolution the impact of his ideas about computability

    Published 2015
    Other Authors:
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Advances in proof theory

    Advances in proof theory

    Published 2016
    Other Authors:
    Description
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Advances in proof theory

    Advances in proof theory

    Published 2016
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: