UNIVERSITY LIBRARY CATALOGUE

Your search returned 10 results.

Sort
Results
1.
Amazon cover image
Image from Amazon.com
2.
Eine Termlogik mit Auswhloperator. by Series: Lecture notes in mathematics ; 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin, New York : Springer-Verlag, 1965
Availability: Items available for loan: Main Library - Africana (1).

3.
Enumerability, decidability, computability: an introduction to th e theory of recursive functions / by Hans Hermes; translated by G.T Herman and O. Plassmann. by Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellu ngen ; Bd. 127.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin; New York: Springer-Verlag, 1965
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 512.817 HER.

4.
Eine Termlogik mit Auswhloperator. by Series: Lecture notes in mathematics ; 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin, New York : Springer-Verlag, 1965
Availability: No items available.

5.
6.
Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik / Hans Hermes. by Series: Mathematische Leitfaden
Material type: Text Text
Publication details: Stuttgart: Teubner, 1963
Availability: Items available for loan: College of Natural Sciences Library- CONAS (2)Call number: 511.324HER, ... Main Library - Open Shelves (1)Call number: 001302845.

7.
Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik / Hans Hermes. by Series: Mathematische Leitfaden
Material type: Text Text
Publication details: Stuttgart: Teubner, 1963
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 001302845.

8.
Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik / Hans Hermes. by Series: Mathematische Leitfaden
Material type: Text Text
Publication details: Stuttgart: Teubner, 1963
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 001302845.

9.
Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik / Hans Hermes. by Series: Mathematische Leitfèaden
Material type: Text Text
Publication details: Stuttgart : Teubner, 1963
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 511.3 HER.

10.
Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik / Hans Hermes. by Series: Mathematische Leitfèaden
Material type: Text Text
Publication details: Stuttgart : Teubner, 1963
Availability: No items available.