Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Enumerability · Decidability Computability

by Hans Hermes.

Series: Grundlehren der mathematischen WissenschaftenEdition: 2nd ed. 1969Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1969Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Enumerability, Decidability, Computability

by Hans Hermes.

Series: Grundlehren der mathematischen WissenschaftenEdition: 1965Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1965Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Introduction to Mathematical Logic

by Hans Hermes.

Series: UniversitextEdition: 1973Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1973Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
Numbers

by Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing.

Series: Graduate Texts in MathematicsEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Springer New York 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5.
Term Logic with Choice Operator

by Hans Hermes.

Series: Lecture Notes in Mathematics ; v.6Edition: 1965Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1970Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .