Proof theory of impredicative subsystems of analysis
By: Wilfried Buchholz, Kurt Schütte.
Contributors: Schütte, K.
Series: Studies in proof theory.; 2
Publisher: Bibliopolis
Published: 1988
Place of publication: Napoli
Language: eng
Number of pages: 122
Subjects: Mathematical analysis -- Foundations.; Proof theory.
Notes: Includes bibliographical references (p. 121-122).