Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Proof Theory and Logic Programming

Language EnglishEnglish
Book Hardback
Book Proof Theory and Logic Programming Dale Miller
Libristo code: 48601342
Publishers Cambridge University Press, November 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 196 b
80.91 €
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Book Paperback
common.buy 34.93 €
ciudad y los muertos Javier Kessler / Book Paperback
common.buy 10.02 €
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Book Hardback
common.buy 37.87 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Book Paperback
common.buy 29.46 €
Promociones de ventas al consumidor / Book Paperback
common.buy 32.10 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Book Paperback
common.buy 29.46 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Book Paperback
common.buy 40.81 €

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
Ewa Kasp
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
Binding Book - Hardback
Date of issue 2025
Number of pages 400
EAN 9781009561297
ISBN 1009561294
Libristo code 48601342
Publishers Cambridge University Press
Weight 612

Categories

Computing & Information Technology > Computer programming / software engineering > Programming techniques
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 address

You might also be interested in

Top
Proofs and Refutations Imre Lakatos / Book Paperback
common.buy 22.37 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Book Paperback
common.buy 7.69 €
Forgotten Sister Nicola Cornick / Audiobook MP3
common.buy 15.28 €
Top
The Half of It Madison Beer / Book Hardback
common.buy 17.01 €
New
Unsettling Extinction Steven Hartman / Book Paperback
common.buy 33.51 €
Proof of Work Miriam Beblo / Book Paperback
common.buy 22.47 €
Prompt Execution S.W. Michaels / Book Paperback
common.buy 20.35 €
Coming soon New
Proper Names and Reference Lenny Clapp / Book Hardback
common.buy 126.39 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Book Paperback
common.buy 119.81 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?