Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "117712302"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/451972406 |
| Titel | Eine Termlogik mit Auswahloperator / Hans Hermes |
| Person(en) |
Hermes, Hans (Verfasser) Hermes, Hans |
| Verlag | Berlin ; Heidelberg ; New York : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1965 |
| Umfang/Format | 42 S. ; 4 |
| ISBN/Einband/Preis | kart. : 5.80 |
| Beziehungen | Lecture notes in mathematics ; 6 |
| Anmerkungen |
Engl. Ausg. u.d.T.: Hermes, Hans: Term logic with choice operator Status nach VGG: lieferbar |
| Sachgruppe(n) | 19a Mathematik |
| Frankfurt |
Signatur: DKb 12064
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SB 6788 - 6
Bereitstellung in Leipzig |

