Proof theory and logical complexity / Jean-Yves Girard.

Bibliographic Details

Uniform Title:	Studies in proof theory ; 1.
Main Author:	Girard, Jean-Yves
Language:	English
Published:	Napoli : Bibliopolis, ©1987-
Series:	Studies in proof theory ; 1.
Subjects:	Proof theory.
Physical Description:	volumes ; 25 cm.
Format:	Book