Basic Simple Type Theory 42 Cambridge Tracts in Theoretical Computer Science Series Number 42
£92.14
Includes FREE deliveryRRP £96.99 – you save £4.85 (5%)
Order before 4pm today for delivery by Fri 24 Jul 2026.
A Hardback by J. Roger Hindley
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Basic Simple Type Theory 42 Cambridge Tracts in Theoretical Computer Science Series Number 42 by J. Roger Hindley
Publisher: Cambridge University Press
Publication Date: 31/07/1997
ISBN13: 9780521465182, 978-0521465182
ISBN10:
Also in:
Mathematical logic
Mathematical logic