On normalization of proofs in set theory

Stockholm, Univ., Diss., 1983

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hallnäs, Lars (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Stockholm Filos. Inst. 1983
Schriftenreihe:	University of Stockholm / Department of Philosophy : Preprint 1
Schlagworte:	Satz > Theorie > Deduktion > Normung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!