Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=456967494
Link zu diesem Datensatz | https://d-nb.info/456967494 |
Titel | Term logic with choice operator / Hans Hermes |
Person(en) |
Hermes, Hans (Verfasser) Hermes, Hans |
Ausgabe | Rev. and enlarged transl. of the 1st German ed. |
Verlag | Berlin ; Heidelberg ; New York : Springer |
Zeitliche Einordnung | Erscheinungsdatum: 1970 |
Umfang/Format | 55 S. ; 4 |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Hermes, Hans: Term Logic with Choice Operator |
ISBN/Einband/Preis | kart. : 6.- |
Beziehungen | Lecture notes in mathematics ; 6 |
Anmerkungen |
Dt. Ausg. u.d.T.: Hermes, Hans: Eine Termlogik mit Auswahloperator Status nach VGG: lieferbar |
Sachgruppe(n) | 19a Mathematik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: D 70b/1858 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: SB 6788 - 6 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |