Search Results - Hermes, Hans

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Term logic with choice operator by Hermes, Hans

    Published 1970
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Enumerability, decidability, computability: an introduction to the theory of recursive functions by Hermes, Hans

    Published 1969
    Book

    Save to List
    Saved in:

Search Tools: