Books
Science and Technology
Computing and Information Technology
Programming
Programming practice (techniques, methods, programmer's work)
Programming practice (techniques, methods, programmer's work)

Book Proof Theory and Logic Programming: Computation as Proof Search

Dale Miller
Product code: 20912580
Paper book «Proof Theory and Logic Programming: Computation as Proof Search», author Dale Miller - фото №1
4941 UAH
Delivery from UK 20-30 days
Printed book
Books
Science and Technology
Computing and Information Technology
Programming
Programming practice (techniques, methods, programmer's work)
Programming practice (techniques, methods, programmer's work)

Book Proof Theory and Logic Programming: Computation as Proof Search

Dale Miller
Product code: 20912580
Format
Book language
Publisher
Year of publication
Category
Other languages Programming practice (techniques, methods, programmer's work) Fundamentals of computer science Programming techniques Programming and scripting languages: general Computer architecture and logic design
About book

Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Details
Author
Dale Miller
Publisher
Cambridge University Press
Number of pages
334
Delivery
Specify the delivery city To see exact delivery terms
Payment options
Online card payment (5% cashback)
Bank Transfer
Reviews
Do you have any questions? 0-800-335-425
Contact us
4941 UAH
Delivery from UK 20-30 days
Printed book
Delivery
Specify the delivery city To see exact delivery terms
Payment options
Online card payment (5% cashback)
Bank Transfer
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Mobile application
Read and listen to books in the largest library of eBooks and audiobooks from top Ukrainian and world authors
Yakaboo
Information
© Yakaboo 2004-2026. All rights reserved