Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküle

Köln, Univ., Math.-Naturwiss. Fak., Diss., 1980

Bibliographische Detailangaben

1. Verfasser:	Mellis, Werner
Format:	UnknownFormat
Sprache:	ger
Schlagworte:	Peano-Arithmetik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!