Formal Mathematical Systems Including a Structural Induction Principle /
Kunik, Matthias.
Formal Mathematical Systems Including a Structural Induction Principle / Matthias Kunik. - Magdeburg : Otto von Guericke Universitat, 2002. - 69 s. : il. ; 29 cm.
51(043)
Formal Mathematical Systems Including a Structural Induction Principle / Matthias Kunik. - Magdeburg : Otto von Guericke Universitat, 2002. - 69 s. : il. ; 29 cm.
51(043)