Simple Type Theory

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Paperback Published on: 02/01/2023
£39.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Birkhauser
  • ISBN: 9783031211133
  • Number of pages: 312
  • Dimensions: 234 x 156 x 17 mm
  • Weight: 440g
  • Languages: English

Customer Reviews

You may also like...

Clean Coder, The
Robert C. Martin
£36.99
Clojure for the Brave and True
Daniel Higginbotham
£44.99
Seven Concurrency Models in Seven Weeks
Paul Butcher
£30.50
Game Feel
Steve Swink
£49.99
Extreme Programming Explained
Kent Beck
£33.49
Harnessing Hibernate
James Elliott
£31.99
The Mythical Man-Month
Theory of Fun for Game Design
Raph Koster
£35.99
C Programming Language
Brian W. Kernighan
£49.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
Learning Python with Raspberry Pi
Alex Bradbury
£22.00
C Programming
K. N. King
£57.99
Python Pocket Reference
Mark Lutz
£19.99
Building Android Apps in Easy Steps
Mike McGrath
£10.99
Ada Lovelace: Bride of Science
Benjamin Woolley
£14.99
Concise Computer Vision
Reinhard Klette
£40.99