by Lawrence C. Paulson
Hardcover
ISBN: 978-0-521-34632-0
ISBN-10: 0-521-34632-0
Cambridge University Press · 1987
|
|
by Lawrence C. PaulsonHardcover
ISBN: 978-0-521-34632-0 ISBN-10: 0-521-34632-0 Cambridge University Press · 1987 |
| See also: | ||
| 2008 | Paperback | Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) |