Proof theory and logical complexity
By: Jean-Yves Girard.
Series: Studies in proof theory ;; 1
Publisher: Bibliopolis
Published: 1987
Place of publication: Napoli
Language: eng
Subjects: Proof theory.
Other titles: Logical complexity.
Notes: Bibliography: v. 1, p. [497]-500.
Includes index.