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.76 € -23 % -
Proofs and Refutations
21.36 € -25 % -
Thomas kocht: Brot, Brötchen und Gebäck
16.85 € -16 % -
Proper Names and Reference
123.22 € -
ciudad y los muertos
9.62 € -7 % -
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia
7.42 € -6 % -
Lesbian: Something About Her
10.83 € -7 % -
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica
29.19 € -14 % -
Bona nit, Conilleta
12.13 € -
A Guide to the Snakes of Pakistan
34.91 € -5 % -
Congregational Connections
32 € -
Educacion Para La Equidad de Genero
34.61 € -14 % -
Prompt Engineering im Geschäftsprozessmanagement
37.52 € -6 % -
Promociones de ventas al consumidor
31.90 € -14 % -
Unsettling Extinction
38.22 € -
Prompt Execution
19.66 € -2 % -
Propozycja redukcji kosztów w MTS-MTO
29.19 € -14 % -
The Sorcerers Apprentice
10.03 € -6 % -
Proof of Work
19.56 € -
Reign of Death
15.14 € -14 % -
Governors-General of India
31.60 € -1 %
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 192 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
78.56 €
- 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
-
Crafting Interpreters
43.14 € -25 % -
Learning Python
57.19 € -25 % -
Programming Rust
55.38 € -28 % -
GitHub Copilot and AI Coding Tools in Practice
43.14 € -25 % -
C# Programming in easy steps
16.45 € -23 % -
Learning C# by Developing Games with Unity - Seventh Edition
56.39 € -2 % -
X64 Assembly Language Step-By-Step: Programming with Linux
63.11 € -4 % -
C++
50.16 € -24 % -
The Rust Programming Language, 3rd Edition
43.14 € -25 % -
Grokking Algorithms, Second Edition
47.25 € -1 % -
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
263 € -13 % -
Building Event-Driven Microservices
50.16 € -25 % -
The Monumental Elden Ring
25.58 € -24 % -
C# 14 and .NET 10 - Modern Cross-Platform Development Fundamentals - Tenth Edition
51.77 € -2 % -
Eloquent Javascript, 4th Edition
36.12 € -25 % -
High Performance Python
47.35 € -25 % -
Learn PowerShell in a Month of Lunches: Covers Windows, Linux, and macOS
51.57 € -5 % -
C# 12 in a Nutshell: The Definitive Reference
50.16 € -25 % -
Effective C, 2nd Edition
43.14 € -25 % -
Kubernetes - Up and Running
57.19 € -25 % -
LLM Engineer's Handbook
56.39 € -2 % -
Functional Programming in Scala
53.48 € -14 % -
React Key Concepts - Second Edition
47.25 € -1 % -
Algorithmic Thinking, 2nd Edition
35.71 € -29 % -
Robust Python
40.33 € -25 % -
Head First C
57.19 € -25 % -
Learning eBPF
40.33 € -25 % -
Learning C# by Developing Games with Unity 6 - Eighth Edition
42.64 € -2 % -
C++20 - The Complete Guide
74.65 € -2 % -
C# 13 and .NET 9 - Modern Cross-Platform Development Fundamentals - Ninth Edition
56.39 € -2 % -
The Missing README
21.56 € -29 % -
The Engineering Leader: Strategies for Scaling Teams and Yourself
29.09 € -25 % -
Art Of 64-bit Assembly, Volume 1
56.99 € -25 % -
Working in Public: The Making and Maintenance of Open Source Software
16.45 € -25 % -
Godot 4 for Beginners
47.25 € -1 % -
Learning Php, MySQL & JavaScript
43.14 € -25 % -
Efficient Node.Js
47.35 € -25 % -
Learning JavaScript Design Patterns
47.35 € -25 % -
Hands-On RTOS with Microcontrollers - Second Edition
47.25 € -1 % -
Data Structures and Algorithms with the C++ STL
44.44 € -2 % -
Python Automation for Dummies
25.58 € -25 % -
Spring Boot 3 and Spring Framework 6
43.14 € -24 % -
Complete ABAP
84.28 € -1 % -
Blueprints Visual Scripting for Unreal Engine 5
71.94 € -2 % -
Software Architecture with C# 12 and .NET 8 - Fourth Edition
49.06 € -1 % -
API Design Patterns
69.93 € -4 % -
C++ Memory Management
39.83 € -2 % -
Mastering API Architecture
47.35 € -25 % -
Conversational Design
23.37 € -1 %
Shopping guide
Books by language
Collection points Bratislava a 13624 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27252 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)