by Andrew Pitts
Paperback
ISBN: 978-0-521-11846-0
ISBN-10: 0-521-11846-8
Cambridge University Press · 2009
|
|
by Andrew PittsPaperback
ISBN: 978-0-521-11846-0 ISBN-10: 0-521-11846-8 Cambridge University Press · 2009 |
| See also (possibly by other authors): | ||
| 1997 | Hardcover | Semantics and Logics of Computation (Publications of the Newton Institute) |