by D Wolfram
Paperback
ISBN: 978-0-521-11790-6
ISBN-10: 0-521-11790-9
Cambridge University Press · 2009
|
|
by D WolframPaperback
ISBN: 978-0-521-11790-6 ISBN-10: 0-521-11790-9 Cambridge University Press · 2009 |
| See also (possibly by other authors): | ||
| 1993 | Hardcover | The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) |