| GIRARD, Jean-Yves, Paul TAYLOR a Yves LAFONT. Proofs and types. Cambridge: Cambridge University Press, 1990, xi, 176. ISBN 0521371813. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Proofs and types |
| Autoři | GIRARD, Jean-Yves, Paul TAYLOR a Yves LAFONT. |
| Vydání | Cambridge, xi, 176, 1990. |
| Nakladatel | Cambridge University Press |
| Další údaje | |
|---|---|
| ISBN | 0521371813 |
| Změnil | Záznam byl importován z knihovního systému. Změněno: 18. 3. 2024 04:44. |
VytisknoutZobrazeno: 5. 5. 2024 08:36