Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Proof Theory and Logic Programming
Language
English
English
Book
Hardback
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
Libristo code: 48601342
?
196 b
196 b
80.91
€
In stock at our supplier
Shipping in 9-15 days
30-day return policy
Customers also purchased
/
Paperback
29.46
€
/
Paperback
40.91
€
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Proof Theory and Logic Programming
Author
Dale Miller
Language
English
English
Binding
Book - Hardback
Date of issue
2025
Number of pages
400
EAN
9781009561297
ISBN
1009561294
Libristo code
48601342
Publishers
Cambridge University Press
Weight
612
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
7.69
€
/
Paperback
119.81
€