Showing 1 - 2 results of 2 for search 'Schwichtenberg, Helmut 1942-', query time: 0.00s Refine Results
  1. 1

    Basic proof theory by Troelstra, A. S. (Anne Sjerp)

    Published 2000
    Other Authors: “…Schwichtenberg, Helmut 1942-…”
    Book
  2. 2

    Logic of computation

    Published 1997
    Other Authors: “…Schwichtenberg, Helmut 1942-…”
    Book