Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "117712302"
|
|
|
| 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 |

