The Clausal Theory of Types 21 Cambridge Tracts in Theoretical Computer Science Series Number 21

Name: The Clausal Theory of Types 21 Cambridge Tracts in Theoretical Computer Science Series Number 21
Brand: Cambridge University Press
SKU: 9780521395380
Price: 57.95 GBP
Availability: InStock

Product form

£57.95

Includes FREE delivery

RRP £61.00 – you save £3.05 (5%)

Order before 4pm today for delivery by Wed 8 Jul 2026.

A Hardback by D. A. Wolfram

15 in stock

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: 22/04/1993
ISBN13: 9780521395380, 978-0521395380
ISBN10:

Also in:
Mathematical theory of computation