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 :

    ISILC proof theory symposion :

    Published 1975
    Other Authors:
    Conference Proceeding Book
    Save to List
    Saved in:
  2. 2
    Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.

    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
    Save to List
    Saved in:
  3. 3
    Recursion theory week :

    Recursion theory week :

    Published 1990
    Other Authors:
    Book
    Save to List
    Saved in:
  4. 4
    Recursion Theory Week

    Recursion Theory Week

    Published 1985
    Other Authors:
    Conference Proceeding Book
    Save to List
    Saved in:

Search Tools: