Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
Bok Engelsk 1997
| Utgitt | Cambridge : Cambridge University Press , 1997
|
|---|---|
| Omfang | XII, 361 s. : fig.
|
| Emner | |
| ISBN | 0521580579
|
edited by Andrew M. Pitts, Peter Dybjer
Bok Engelsk 1997
