Your search returned 3 results.

Results
		No cover image available Enumerability, decidability computability; an introduction to the theory of recursive functions. 2nd. rev ed. by Hermes, Hans.\ \| . Series: Edition: Language: English Publication details: ; SPRINGER-VERLAG, BERLIN, ; 1969Availability: Items available for loan: 1 Call number: 51:681.3Her. Place hold Add to cart (remove)
		No cover image available Introduction to mathematical logic / translated from the German by Diana Schmidt by Hermes, Hans \| . Series: Lecture notes in computer science ; v.3945Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1973Availability: Items available for loan: 1 Call number: 517.1 Her. Place hold Add to cart (remove)
		Term logic with choice operator (e-book) by Hermes, Hans. Series: Lecture Notes in Mathematics (LNM) ; v.6Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1970Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search