Your search returned 2 results.

Results
	1.	No cover image available Term logic with choice operator by Hermes, Hans Series: Lecture notes in Mathematics ; 6 Material type: Text Publication details: Berlin Springer-Verlag 1970 Availability: Items available for loan: ISID (1)Call number: 511.3 H553.TL. Place hold
	2.	No cover image available Enumerability, decidability, computability ; an introduction to the theory of recursive functions / by Hermes, Hans Herman, G. T [translator.] Plassmann, O [translator.] Series: Die Grundlehren der Mathematichen Wissenschaften- ; v. 127 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1965 Availability: Items available for loan: ISID (1)Call number: 511.6 H553.ED. Place hold

Refine your search