Formal mathematical systems including a structural induction principle

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kunik, Matthias (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Magdeburg Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik 2002
Schriftenreihe:	Preprint / Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik 2002,31
Schlagworte:	Forschungsbericht > Mathematische Logik > Induktion
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!