by: Andrew M. Pitts · P. Dybjer
Hardcover
ISBN: 978-0-521-58057-1
ISBN-10: 0-521-58057-9
Cambridge University Press · 1997
|
|
by: Andrew M. Pitts · P. DybjerHardcover
ISBN: 978-0-521-58057-1 ISBN-10: 0-521-58057-9 Cambridge University Press · 1997 |
| See also (possibly by other authors): | ||
| 2009 | Paperback | Semantics and Logics of Computation (Publications of the Newton Institute) |