Showing 1 - 4 results of 4 for search 'Müller, G. H. (Gert Heinz), 1923-2006', query time: 0.01s Refine Results
  1. 1

    ISILC proof theory symposion :

    Published 1975
    Other Authors:
    Conference Proceeding Book
  2. 2

    Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.

    Published 1984
    Other Authors: “…Müller, G. H. (Gert Heinz), 1923-2006…”
    Conference Proceeding Book
  3. 3

    Recursion theory week :

    Published 1990
    Other Authors:
    Book
  4. 4

    Recursion Theory Week

    Published 1985
    Other Authors:
    Conference Proceeding Book