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
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 201 b
82.46 €
161.29  лв
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Bona nit, Conilleta AMANDA WOOD / Book Hardback
common.buy 12.88 € 25.20 лв
Thomas kocht: Brot, Brötchen und Gebäck Thomas Dippel / Book Hardback
common.buy 17.92 € 35.04 лв
ciudad y los muertos Javier Kessler / Book Paperback
common.buy 10.21 € 19.98 лв
Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Book Paperback
common.buy 36.66 € 71.70 лв
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Book Hardback
common.buy 39.59 € 77.42 лв
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Book Paperback
common.buy 30.96 € 60.55 лв
Promociones de ventas al consumidor / Book Paperback
common.buy 33.80 € 66.10 лв
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Book Paperback
common.buy 30.96 € 60.55 лв
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Book Paperback
common.buy 41.95 € 82.04 лв

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

Proofs and Refutations Imre Lakatos / Book Paperback
common.buy 22.79 € 44.58 лв
Forgotten Sister Nicola Cornick / Audiobook MP3
common.buy 15.87 € 31.04 лв
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Book Paperback
common.buy 120.46 € 235.61 лв
Coming soon
Proper Names and Reference Lenny Clapp / Book Hardback
common.buy 128.83 € 251.98 лв
Prompt Execution S.W. Michaels / Book Paperback
common.buy 20.74 € 40.57 лв
Proof of Work Miriam Beblo / Book Paperback
common.buy 20.38 € 39.86 лв
Unsettling Extinction Steven Hartman / Book Paperback
common.buy 41.79 € 81.74 лв
Top
The Half of It Madison Beer / Book Hardback
common.buy 18.53 € 36.25 лв
A Guide to the Snakes of Pakistan Muhammad Sharif Khan / Book Hardback
common.buy 36.76 € 71.90 лв
Lesbian: Something About Her Olivia Hampshire / Book Paperback
common.buy 11.39 € 22.29 лв
The Sorcerers Apprentice James Gillcrist / Book Paperback
common.buy 10.52 € 20.58 лв
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Book Paperback
common.buy 7.75 € 15.16 лв
Reign of Death John Fawcett / Book Paperback
common.buy 16.07 € 31.43 лв
Congregational Connections Nancy Burton Dilliplane / Book Hardback
common.buy 33.63 € 65.77 лв
Governors-General of India Morris / Book Hardback
common.buy 33.27 € 65.07 лв

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?