Proof theory and intuitionistic systems.
Series: Lecture notes in mathematics, 212; Lecture notes in mathematics (Springer-Verlag) ;; 212.
Publisher: Springer-Verlag
Published: 1971
Place of publication: Berlin; New York
Language: eng
Number of pages: 290
Subjects: Intuitionistic mathematics.; Proof theory.
Notes: Bibliography: p. [291]