On normalization of proofs in set theory
By: Lars Hallnäs.
Series: Dissertationes mathematicae = Rozprawy mathematyczne,; 261; Rozprawy matematyczne ;; 261.
Publisher: Państwowe Wydawn. Nauk.
Published: 1988
Place of publication: Warszawa
Language: eng
Number of pages: 100
Subjects: Set theory.
Notes: Includes bibliographical references (p. [95]).
Errata sheet inserted.