TY  - GEN
AU  - Zahn, Peter
TI  - A meaningful mathematical first order language- partial peano algebras and rule systems
PY  - 1988///
CY  - Darmstadt
PB  - Technische Hocschule Darmstadt
ER  -