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