Showing 1 - 6 results of 6 for search 'Schroeder-Heister, Peter', query time: 0.03s Narrow Search
  1. 1
    Extensions of Logic Programming International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
    Published 1991
    Other Authors: “…Schroeder-Heister, Peter…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Advances in Proof-Theoretic Semantics
    Published 2016
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Extensions of Logic Programming 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
    Published 1996
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    Published 2001
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
    Published 1992
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    The logical writings of Karl Popper
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: