Intuitionistic set theory, or, How to construct a proof
By: Conrad Kuck.
Series: Forschungsergebnisse zur Informatik ;; Bd. 33
Publisher: Verlag Dr. Kovač
Published: 1998
Place of publication: Hamburg
Language: eng
Subjects: Set theory.; Proof theory.
Other titles: Intuitionistic set theory; How to construct a proof
Notes: Includes bibliographical references and index.