TY  - BOOK
AU  - Hallnäs,Lars
TI  - On normalization of proofs in set theory
T2  - Dissertationes mathematicae
SN  - 8301076046
AV  - QA248QA1.D54 no. 261 
U1  - 510 s 
PY  - 1988///
CY  - Warszawa
PB  - Państwowe Wydawn. Naukowe
KW  - Set theory
KW  - Beweis
KW  - Deduktion
KW  - Mathematik
KW  - Mengenlehre
KW  - Normalisierung
KW  - Normung
KW  - Satz
KW  - Theorie
N1  - Errata sheet inserted - Includes bibliographical references (p. [95])
ER  -