Signature mark | NL 237/458 |
---|---|
Subject | Publikation Druck |
Author |
Thieler-Mevissen, Gerda
|
Title | Vollständigkeit und Korrektheit des netztheoretischen Kalküls für die Aussagenlogik von Carl Adam Petri |
Duration | 1975 |
Scope | 14 S. gedr. (Kopie) |
Rights notice | CC BY-SA 4.0 |