PProof Theory Logical Complexity (Studies in Proof Theory)Proof Theory Logical Complexity (Studies in Proof Theory)de Jean-Yves GirardEdiciones (1)Proof Theory Logical Complexity (Studies in Proof Theory) (1987)Humanities Pr · ISBN 9789997457806Más obras de Jean-Yves GirardThe blind spotAdvances in linear logic
