Proofs and types
Jean-Yves Girard
Bok · Engelsk · 1989
| Utgitt | Cambridge, N.Y. : Cambridge University Press , c1989
|
|---|---|
| Omfang | xi, 176 s.
|
| Emner | |
| ISBN | 0521371813
|
- Nord universitet - Universitetsbiblioteket Bodø har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: HumSam-biblioteket har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: Realfagsbiblioteket har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: Realfagsbiblioteket. Informatikk har 0 av 0 ledig (Oppdaterer)
- Universitetsbiblioteket i Bergen: Bibliotek for naturvitenskap og teknologi har 0 av 0 ledig (Oppdaterer)