Showing 1 - 2 results of 2 for search 'Galvan, Sergio 1946-', query time: 0.03s 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
    An introduction to proof theory normalization, cut-elimination, and consistency proofs

    An introduction to proof theory normalization, cut-elimination, and consistency proofs by Mancosu, Paolo 1960-, Galvan, Sergio 1946-, Zach, Richard

    Published 2021
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Logiche intensionali sistemi proposizionali di logica modale, deontica, epistemica

    Logiche intensionali sistemi proposizionali di logica modale, deontica, epistemica by Galvan, Sergio 1946-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: