TY  - BOOK
AU  - Kunik,Matthias
TI  - Formal Mathematical Systems Including a Structural Induction Principle
PY  - 2002///
CY  - Magdeburg
PB  - Otto von Guericke Universitat
ER  -