Showing 1 - 2 results of 2 for search 'Otto, Martin 1961-', 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
    Bounded variable logics and counting : a study in finite models /

    Bounded variable logics and counting : a study in finite models / by Otto, Martin, 1961-

    Published 2017
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Bounded variable logics and counting a study in finite models

    Bounded variable logics and counting a study in finite models by Otto, Martin 1961-

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: