Normal view
MARC view
Girard, Jean-Yves (Personal Name)
His Proof theory and logical complexity, c1987- : v. 1, t.p. (Jean-Yves Girard)
His Proofs and types, 1989: t.p. (Jean-Yves Girard, CNRS, Univ. Paris VII) p. 4 of cover (J.-Y. Girard)