Code: 48601342
Proof Theory and Logic Programming
by Dale Miller
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
- Language:
English - Binding: Hardback
- Number of pages: 400
Publisher: Cambridge University Press, 2025
- More about this
You might also like
-
The Half of It
18.42 € -22 % -
Proofs and Refutations
21.05 € -24 % -
Proper Names and Reference
121 € -
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia
7.28 € -6 % -
Prompt Engineering im Geschäftsprozessmanagement
37.86 € -6 % -
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica
29.46 € -14 % -
Promociones de ventas al consumidor
32.09 € -14 % -
ciudad y los muertos
9.51 € -7 % -
Educacion Para La Equidad de Genero
34.93 € -14 % -
Prompt Execution
19.33 € -2 % -
Proof of Work
22.47 € -14 % -
Propozycja redukcji kosztów w MTS-MTO
29.46 € -14 % -
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two
114.01 € -1 % -
Unsettling Extinction
33.51 € -5 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Proof Theory and Logic Programming
You get 186 loyalty points
Book synopsis
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
Book details
Book category Books in German Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Programmiersprachen
77.15 €
- Full title: Proof Theory and Logic Programming
- Author: Dale Miller
- Language: English
- Binding: Hardback
- Number of pages: 400
- EAN: 9781009561297
- ISBN: 1009561294
- ID: 48601342
- Publisher: Cambridge University Press
- Weight: 612 g
- Date of publishing: 30. November 2025
Trending among others
-
The Rust Programming Language, 3rd Edition
41.91 € -29 % -
Functional Programming in Scala
53.96 € -14 % -
Effective C, 2nd Edition
42.42 € -24 % -
Data Structures and Algorithms with the C++ STL
43.63 € -2 % -
Asynchronous Programming with C++
39.18 € -1 % -
Twenty Years of a New Kind of Science
31.99 € -25 % -
Crafting Interpreters
42.42 € -24 % -
C++ Software Design
56.19 € -25 % -
C# 14 and .NET 10 - Modern Cross-Platform Development Fundamentals - Tenth Edition
50.92 € -1 % -
C# 12 in a Nutshell: The Definitive Reference
49.30 € -24 % -
Kubernetes - Up and Running
56.19 € -25 % -
Fastapi: Modern Python Web Development
39.58 € -25 % -
Programming Phoenix LiveView
43.23 € -19 % -
C# unity Programming For Beginners
11.53 € -7 % -
C++26 for Lazy Programmers
52.75 € -24 % -
Learning Python
54.47 € -28 % -
Eloquent Javascript, 4th Edition
34.62 € -27 % -
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
264.08 € -12 % -
Learning Go: An Idiomatic Approach to Real-World Go Programming
47.18 € -23 % -
Grokking Algorithms, Second Edition
46.37 € -2 % -
LLM Engineer's Handbook
55.38 € -2 % -
Node.js Design Patterns - Fourth Edition
50.92 € -1 % -
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
54.47 € -2 % -
Building Event-Driven Microservices
49.30 € -24 % -
High Performance Python
45.25 € -27 % -
Learn Python Programming by Coding Retro Games with Pygame
20.24 € -2 % -
Software Requirements Essentials: Core Practices for Successful Business Analysis
32.90 € -1 % -
Modern C++ Programming Cookbook - Third Edition
50.92 € -1 % -
Building Medallion Architectures
42.42 € -24 % -
C# 13 and .NET 9 - Modern Cross-Platform Development Fundamentals - Ninth Edition
55.38 € -2 % -
Css: The Definitive Guide: Web Layout and Presentation
63.08 € -25 % -
Robust Python
39.58 € -25 % -
Web Development with Blazor - Third Edition
48.19 € -1 % -
Godot 4 for Beginners
46.37 € -2 % -
Java: The Complete Reference, Thirteenth Edition
42.42 € -24 % -
Vibe Coding: The Future of Programming
49.30 € -24 % -
Efficient Node.Js
46.47 € -25 % -
Introducing C++
42.42 € -24 % -
OCP Oracle Certified Professional Java SE 17 Developer Study Guide: Exam 1Z0-829
45.86 € -24 % -
Functional Design: Principles, Patterns, and Practices
46.37 € -2 % -
Art Of 64-bit Assembly, Volume 1
55.99 € -26 % -
Grokking Simplicity
58.11 € -9 % -
HTML and CSS QuickStart Guide
25.10 € -25 % -
Ai-Assisted Programming
49.30 € -24 % -
Core Data Services for ABAP
89.51 € -4 % -
Murach's ASP.NET Core MVC (2nd Edition)
42.32 € -24 % -
Practical Robotics in C++ :
37.96 € -7 % -
Test Automation Engineering Handbook: Learn and implement techniques for building robust test automation frameworks
41 € -1 % -
Modeling And Simulation In Python
28.04 € -29 %
Shopping guide
Books by language
Collection points Bratislava a 12742 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25488 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)