The Clausal Theory of Types 21 Cambridge Tracts in Theoretical Computer Science Series Number 21
£27.76
Includes FREE deliveryOrder before 4pm today for delivery by Wed 8 Jul 2026.
A Paperback by D. A. Wolfram
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of The Clausal Theory of Types 21 Cambridge Tracts in Theoretical Computer Science Series Number 21 by D. A. Wolfram
Publisher: Cambridge University Press
Publication Date: 30/07/2009
ISBN13: 9780521117906, 978-0521117906
ISBN10:
Also in:
Mathematical theory of computation
Mathematical theory of computation