Record View
Record 1 out of 1
| Sys. no. | 002201993 |
|---|---|
| Personal Name | Girard, Jean-Yves |
| S.F. Pers. Name | Girard, J.-Y. (Jean-Yves) |
| Source Data Found | 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) | |
| Alma MMS ID | 987007459829705171 |