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)