On normalization of proofs in set theory

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hallnäs, Lars (VerfasserIn)
Format:	UnknownFormat
Sprache:	swe
Veröffentlicht:	Stockholm 1983
Schriftenreihe:	Filosofiska Institutionen <Stockholm>: A preprint from University of Stockholm, Department of Philosophy 1
Schlagworte:	Mathematik > Theorie > Satz > Mengenlehre > Beweis > Normung > Normalisierung > Deduktion > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!