Your search returned 5 results.

Sort
Results
1.
Einführung in die Verbandstheorie. by
  • Hermes, Hans
Series: Die Grundlehren der mathematischen Wissenschaften ; Bd. 73.
Edition: 2nd ed. enlarged
Publication details: Berlin: Springer, 1967
Availability: Items available for loan: Castorina (1)Call number: 512.865 H553e 1967 IMPA.

2.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen. by
  • Hermes, Hans
Series: Grundlehren der mathematischen Wissenschaften ; Bd. 109.
Publication details: Berlin: Springer, 1961
Availability: Items available for loan: Castorina (2)Call number: 511.3 H553a 1961 IMPA, ...

3.
Enumerability, decidability, computability;: An introduction to the theory of recursive functions/ Translated by G. T. Hermann and O. Plassmann. by
  • Hermes, Hans
Series: Grundlehren der mathematischen Wissenschaften ; Bd. 127.
Edition: 2d rev. ed.
Language: engger
Publication details: Berlin: New York: Springer, 1969
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

4.
Introduction to mathematical logic/ Translated from German by Diana Schmidt. by
  • Hermes, Hans
Series: Universitext
Language: engger
Publication details: Berlin: New York: Springer-Verlag, 1973
Availability: Items available for loan: Castorina (1)Call number: 511.3 H553i 1973 IMPA.

5.
Eine Termlogik mit Auswahloperator/ Hans Hermes. by
  • Hermes, Hans
Series: Lecture notes in mathematics (Springer-Verlag) ; 6.
Publication details: Berlin; New York: Springer-Verlag, 1965
Availability: Items available for loan: Castorina (1).

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha