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