| GIRARD, Jean-Yves, Paul TAYLOR and Yves LAFONT. Proofs and types. Cambridge: Cambridge University Press, 1990, xi, 176. ISBN 0521371813. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Proofs and types |
| Authors | GIRARD, Jean-Yves, Paul TAYLOR and Yves LAFONT. |
| Edition | Cambridge, xi, 176, 1990. |
| Publisher | Cambridge University Press |
| Other information | |
|---|---|
| ISBN | 0521371813 |
| Changed by | The record has been imported from the library system. Changed: 18/3/2024 04:44. |
PrintDisplayed: 23/5/2024 22:39