| LC control no. | n 88081093 |
|---|---|
| Descriptive conventions | rda |
| Personal name heading | Girard, Jean-Yves |
| Variant(s) | Girard, J.-Y. (Jean-Yves) |
| Found in | 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) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
