Showing 1 - 4 results of 4 for search 'Hermes, Hans', query time: 0.01s Refine Results
1
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by Hermes, Hans, Hermes, Hans
Published 1985
Book
2
Term logic with choice operator
by Hermes, Hans, Hermes, Hans
Published 1970
Book
3
Introduction to mathematical logic /
by Hermes, Hans
Published 1973
Book
4
Introduction to mathematical logic
by Hermes, Hans
Published 1973
Book
Search Tools: Get RSS Feed — Email this Search