|
1 |
Einführung in die mathematische Logik
Hermes, Hans. - Stuttgart : Teubner, 1991, 5. Aufl., unveränd. Nachdr. der 4. Aufl.
|
|
|
|
2 |
Nachgelassene Schriften und wissenschaftlicher Briefwechsel / Bd. 1. Nachgelassene Schriften
1983, 2., rev. Aufl., erw. um e. Anh. Nachschrift einer Vorlesung und Protokolle mathematischer Vorträge Freges / eingel. von Lothar Kreiser unter Mitw. von Günter Grosche
|
|
|
|
3 |
Posthumous writings
Frege, Gottlob. - Oxford : Blackwell, 1979
|
|
|
|
4 |
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hermes, Hans. - Berlin, Heidelberg, New York : Springer, 1978, 3. Aufl.
|
|
|
|
5 |
Einführung in die mathematische Logik
Hermes, Hans. - Stuttgart : Teubner, 1976, 4. Aufl.
|
|
|
|
6 |
Introduction to mathematical logic
Hermes, Hans. - Berlin, Heidelberg, New York : Springer, 1973
|
|
|
|
7 |
Einführung in die mathematische Logik
Hermes, Hans. - Stuttgart : Teubner, 1972, 3., neubearb. u. erw. Aufl.
|
|
|
|
8 |
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hermes, Hans. - Berlin : Springer, 1971, 2. Aufl.
|
|
|
|
9 |
Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften
Hildesheim : Gerstenberg, 1970, Nachdr.
|
|
|
|
10 |
Term logic with choice operator
Hermes, Hans. - Berlin : Springer, 1970, Rev. and enlarged transl. of the 1st German ed.
|
|
Administration
