Browse editions

Current edition
Proof Theory and Logical Complexity : Volume I by Jean-Yves Girard
Proof Theory and Logical Complexity : Volume I
—
Jean-Yves Girard

Proof Theory and Logical Complexity : Volume I

Jean-Yves Girard

504 pages • first pub 1987 (editions)

Other editions (0)