| Signature mark | NL 183/573 |
|---|---|
| Subject | Typoskript (2) |
| Title | [Systematische Verfahren für die Entscheidung der Erfüllbarkeit prädikatenlogischer Ausdrücke (Diss. A, Dr. rer. nat.)] |
| Insert | Typoskript: Böttger: Thesen (5 Bl. ms.) |
| Duration | 1980 |
| Scope | 279 Bl. hs. u. ms. (teilw. Kop.) |
| Rights notice | CC BY-SA 4.0 |
