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
|
Utgitt | Cambridge : Cambridge University Press , 1997
|
---|---|
Omfang | XII, 361 s. : fig.
|
Emner | |
ISBN | 0521580579
|