Signatur | NL 237/458 |
---|---|
Gegenstand | Publikation Druck |
Verfasser |
Thieler-Mevissen, Gerda
|
Titel | Vollständigkeit und Korrektheit des netztheoretischen Kalküls für die Aussagenlogik von Carl Adam Petri |
Laufzeit | 1975 |
Umfang | 14 S. gedr. (Kopie) |
Rechtehinweis | CC BY-SA 4.0 |