Rekursive Funktionen by Heidler, Klaus, Hermes, Hans, Mahn, Friedrich-Karl 0 Type: Book Theory of Computation -- Mathematical Logic and Formal Languages.
Scritti postumi by Gabriel, Gottfried, Hermes, Hans, Frege, Gottlob fromArchivio di logica e filosofia della matematica 0 Type: Book
Eine Termlogik mit Auswahloperator by Hermes, Hans fromLecture notes in mathematics (Springer-Verlag) 0 Type: Book
Eine Termlogik mit Auswahloperator by Hermes, Hans fromLecture Notes in Mathematics, An informal series of special… 0 Type: Book
