Concepedia

Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.

Journal of Symbolic Logic · 1989 · 315 citations · 0 references

Concepts

Formal LogicEngineeringAutomated ReasoningProof ComplexityFormal MethodsMathematical ProofLogical ComplexityProof TheoryProof SystemJean-yves Girard

Abstract

Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp. - Volume 54 Issue 4