Proofs and types
Cambridge [u.a.]: Cambridge Univ. Pr, 1989
Monographie, Gedruckte Ressource
- XI, 176 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Proofs and types
|
---|---|
Verantwortlichkeitsangabe: | Jean-Yves Girard ; Paul Taylor ; Yves Lafont |
Autor/in / Beteiligte Person: | Girard, Jean-Yves (1947-) ; Taylor, Paul ; Lafont, Yves |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Cambridge [u.a.]: Cambridge Univ. Pr, 1989 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XI, 176 S. |
ISBN: | 0521371813 |
Schlagwort: |
|
Sonstiges: |
|