Proof Theory and Logic Programming: Computation as Proof Search

Name: Shulph Ink Proof Theory and Logic Programming: Computation as Proof Search - Proof Theory and Logic Programming: Computation as Proof Search
Brand: Shulph Ink
SKU: 48184469324026
Price: 79.0 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$79.00$84.00

6% off

Quantity

Color

Black

Quantity

Explores classical, intuitionistic, and linear logics for a comprehensive understanding of computation as proof search
Sequent calculus approach provides a formal framework for reasoning about programs
Covers foundational systems for programming, offering insights into logic programming paradigms
Written by Dale Miller, a leading expert in proof theory and logic programming
Available in both hardcover and paperback formats to suit different reader preferences

Summarized by Shop

Shulph Ink

4.9 (288)

Product description loading

This is the product description text that will appear here.

8% off

Shulph Ink

Can Construction Grammar Be Proven Wrong?

$24.00$26.00

Australian Maths Trust

Computational and Algorithmic Thinking Book 2 2011-2015

A$50.00

5% off

Shulph Ink

Functional Analysis Revisited: An Essay on Completeness

$53.00$56.00

GIFTSQUALITY LTD

Mathematical Structures For Computer Science 7Th Edition

$17.99

Rohith

Algorithms Simplified Hardcover Book

$39.99

Cambridge University Press Bookshop

Cambridge Lower Secondary Computing Learner's Book 9 with Digital Access (1 Year)

£27.25

38% off

Canon and Creed

Logic: A God-Centered Approach to the Foundation of Western Thought (Poythress)

$34.00$55.00

Shulph Ink

Essential SQA Exam Practice: National 5 Computing Science Questions and Papers

$15.00

Heritage College Lake Macquarie

Advanced Mathematics Year 11

A$87.95

Reformers Bookshop

Introduction to Logic

(1)

A$64.99

Archangels Books

The Search for Truth on the Path of Reason - Theological Studies - Book

$18.00

GIMSSINE

논리-철학 논고 (양장본 Hardcover)

$12.30

20% off

Shulph Ink

New GCSE Computer Science AQA Complete Revision & Practice - for exams in 2022 and beyond

$16.00$20.00

Reformers Bookshop

Redeeming Reason: A God-Centered Approach

A$34.99

Scholar Kingdom Publishing

Thinking Skills O.C Selective

A$33.00

5% off

Shulph Ink

Graph Theory: An Introduction to Proofs, Algorithms, and Applications

$69.00$73.00

Logic: A God-Centered Approach to the Foundation of Western Thought Poythress, Vern Sheridan cover image (1018242138159)

27% off

Westminster Bookstore

Logic: A God-Centered Approach to the Foundation of Western Thought

$40.00$55.00

8% off

Shulph Ink

Informatics Practices for CBSE Class XII

$12.00$13.00

Cambridge University Press Bookshop

Cambridge IGCSE™ and O Level Computer Science Coursebook with Digital Access (2 Years)

£36.50

Cambridge University Press Bookshop

An Introduction to the Philosophy of Language

£36.00

Cambridge University Press Bookshop

Cambridge Lower Secondary Computing Learner's Book 8 with Digital Access (1 Year)

£27.25

Ingram Academic & Professional

Python Practice Lab

$29.95

18% off

Shulph Ink

Modelling and Implementation of Complex Systems: Proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30-31, 2022

$150.00$182.00

Cambridge University Press Bookshop

GCSE Computer Science for OCR Student Book with Digital Access (2 Years) Updated Edition

(1)

£31.25

Canada-CC

TRADITIONAL LOGIC II (TEXT)

CA$21.99

IB Source Education

IB Computer Science Course Companion 2025 Edition

$99.00

The Art of Logic in an Illogical World - Ingram

20% off

Edgewater Bookstore

The Art of Logic in an Illogical World

$19.99$24.99

5% off

Shulph Ink

ChatGPT & Co.: A Workbook for Writing, Research, Creating Images, Programming, and More

$52.00$55.00

Canada-CC

TRADITIONAL LOGIC II (KEY)

CA$21.00

Woodslane

Theory and Philosophy in Applied Research

A$97.99

Cambridge University Press Bookshop

An Introduction to the Philosophy of Mathematics

£30.00

Cambridge University Press Bookshop

Cambridge IGCSE™ and O Level Computer Science Programming Book for Python with Digital Access (2 Years)

£16.50

6% off

Shulph Ink

Scheduling and Control of Queueing Networks

$61.00$65.00

Cambridge University Press Bookshop

Mathematics for Machine Learning

£42.00

Canada-CC

TRADITIONAL LOGIC II (WORKBOOK)

CA$24.99

Cambridge University Press Bookshop

GCSE Mathematics for AQA Foundation Problem-solving Book

£14.50

GIFTSQUALITY LTD

Starting Out With Programming Logic And Design 5Th Edition Whats New In Computer Science 5Th Edition

$17.99

East Catholic Bookstore

MATHEMATICS- AP Computer Science Principles 219

$100.00

GIFTSQUALITY LTD

Invitation To Computer Science 8Th Edition

$17.99

Canada-CC

Reasoning Together Fallacies

CA$45.99

Engaging Minds

Cambridge Checkpoint Mathematics Learners Books 7-9

$14.00

Cambridge University Press Bookshop

Critique of Pure Reason

£39.99

Christian Video Warehouse

Programming of Life (Paperback)

$11.95

Cambridge University Press Bookshop

Cambridge International AS & A Level Mathematics: Pure Mathematics 2 & 3 Coursebook

£32.50

Ingram Academic & Professional

Thinking Clearly with Data

$39.95

6% off

Shulph Ink

From Decision Theory to Game Theory: Reasoning about the Decisions of Others

$66.00$70.00

Ingram Academic & Professional

The Irrational Decision

$29.95

Ingram Academic & Professional

Essential Discrete Mathematics for Computer Science

$99.95

Australian Maths Trust

Computational and Algorithmic Thinking Book 3 2016–2020

A$50.00

Reformers Bookshop

Introductory Logic Student Handbook

A$69.99

Engaging Minds

The Discovery of Deduction

$43.00

Cambridge University Press Bookshop

A Philosopher Looks at Clothes

£12.99

Белая Ворона - ваш книжный в Чехии и ЕС

Логика

CZK 105.00

Computer Science: Discovering God's Glory in Ones and Zeros (1018498711599)

15% off

Westminster Bookstore

Computer Science: Discovering God's Glory in Ones and Zeros

(1)

$4.24$4.99

Classical Academic Press

The Discovery of Deduction Assessments, Quizzes & Extra Practice

$5.95

Cambridge University Press Bookshop

GCSE Mathematics for OCR Higher Student Book

£30.95

Cambridge University Press Bookshop

University of Cambridge: Think Big: Artificial Intelligence

£8.99

38% off

Mometrix Test Preparation

Praxis Computer Science (5652) Secrets Study Guide (printed book)

$44.99$71.99

Franciscan Institute Publications

Theory of Demonstration According to William of Ockham

$8.00

Cambridge University Press Bookshop

The Cambridge Companion to the Rule of Law

£46.00

6% off

Shulph Ink

Data Modeling for the Sciences: Applications, Basics, Computations

$83.00$88.00

6% off

Shulph Ink

Quantum Computing

$49.00$52.00

Cambridge University Press Bookshop

Primary Computing Learner's Book 5 with Digital Access (1 Year)

£17.25

Cambridge University Press Bookshop

Cambridge Lower Secondary Computing Learner's Book 7 with Digital Access (1 Year)

£27.25

7% off

Re-vived

Introduction To Logic

$37.00$40.00

Cambridge University Press Bookshop

GCSE Computer Science for OCR Student Book Updated Edition

£28.50

5% off

Shulph Ink

Statistics in the Health Sciences: Theory, Applications, and Computing

$72.00$76.00

GIFTSQUALITY LTD

Introduction to Logic - 3rd Edition

$17.99

Ingram Academic & Professional

Lyric Logic

$32.00

GACE Computer Science (725) Secrets Study Guide

41% off

Mometrix Test Preparation

GACE Computer Science (725) Secrets Study Guide (printed book)

$44.99$75.99

GIFTSQUALITY LTD

(eBook PDF) Introduction to Algorithms 4th Edition by Thomas H. Cormen

$17.99

11% off

Shulph Ink

Exploring Computational Pharmaceutics: AI and Modeling in Pharma 4.0

$266.00$300.00

GIFTSQUALITY LTD

(eBook PDF) Fundamentals of Logic Design 7th Enhanced Edition by Charles H. Roth

$16.99

Book cover of 'Theory and Problems for Pre-Calculus 11' with a mountainous landscape.

UBC Bookstore

Theory and Problems for Pre-Calculus 11, 3rd Edition

$30.00

Teacher Superstore

Mathematics Applications: Student Book - Units 3&4 for Western Australia (Print & Digital)

A$79.95

Cambridge University Press Bookshop

Primary Computing Learner's Book 2 with Digital Access (1 Year)

£17.25

17% off

Shulph Ink

Frontier Computing on Industrial Applications Volume 3: Proceedings of Theory, Technologies and Applications (FC 2023)

$162.00$196.00

Cambridge University Press Bookshop

A/AS Level Computer Science for OCR Student Book

£39.95

Cambridge University Press Bookshop

Why Does Math Work … If It's Not Real?

£17.00

GIFTSQUALITY LTD

The Logic Book 6Th Edition

$17.99

Cambridge University Press Bookshop

Cambridge Advanced National (AAQ) in Computing: Application Development Student Book

£32.95

12% off

Shulph Ink

Wittgenstein: The Senses of Use

$45.00$51.00

Introduction to Algorithms, fourth edition 4th Edition by Thomas H. Cormen | Hardcover

50% off

NYBooksHub

Introduction to Algorithms, fourth edition 4th Edition by Thomas H. Cormen | Hardcover

$49.90$99.00

Reformers Bookshop

Introductory Logic Test & Quiz Packet

A$26.99

Ingram Academic & Professional

The Princeton Companion to Mathematics

$110.00

Schoolbooks.ie

Computer Science for Leaving Certificate

(2)

€37.00

8% off

Shulph Ink

Cognitive Contact Linguistics

$24.00$26.00

Pokrov Publications

The Search for Truth on the Path of Reason

(1)

$18.00

Cambridge University Press Bookshop

Cambridge International AS & A Level Mathematics: Pure Mathematics 1 Coursebook

(1)

£32.50

Cambridge University Press Bookshop

A Mathematician's Apology

£14.00

Proof Theory and Logic Programming: Computation as Proof Search

Highlights

Description

Specifications

Delivery & Returns

Shulph Ink

You might also like

Can Construction Grammar Be Proven Wrong?

Computational and Algorithmic Thinking Book 2 2011-2015

Functional Analysis Revisited: An Essay on Completeness

Mathematical Structures For Computer Science 7Th Edition

Algorithms Simplified Hardcover Book

Cambridge Lower Secondary Computing Learner's Book 9 with Digital Access (1 Year)

Logic: A God-Centered Approach to the Foundation of Western Thought (Poythress)

Essential SQA Exam Practice: National 5 Computing Science Questions and Papers

Advanced Mathematics Year 11

Introduction to Logic

The Search for Truth on the Path of Reason - Theological Studies - Book

논리-철학 논고 (양장본 Hardcover)

New GCSE Computer Science AQA Complete Revision & Practice - for exams in 2022 and beyond

Redeeming Reason: A God-Centered Approach

Thinking Skills O.C Selective

Graph Theory: An Introduction to Proofs, Algorithms, and Applications

Logic: A God-Centered Approach to the Foundation of Western Thought

Informatics Practices for CBSE Class XII

Cambridge IGCSE™ and O Level Computer Science Coursebook with Digital Access (2 Years)

An Introduction to the Philosophy of Language

Cambridge Lower Secondary Computing Learner's Book 8 with Digital Access (1 Year)

Python Practice Lab

Modelling and Implementation of Complex Systems: Proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30-31, 2022

GCSE Computer Science for OCR Student Book with Digital Access (2 Years) Updated Edition

TRADITIONAL LOGIC II (TEXT)

IB Computer Science Course Companion 2025 Edition

The Art of Logic in an Illogical World

ChatGPT & Co.: A Workbook for Writing, Research, Creating Images, Programming, and More

TRADITIONAL LOGIC II (KEY)

Theory and Philosophy in Applied Research

An Introduction to the Philosophy of Mathematics

Cambridge IGCSE™ and O Level Computer Science Programming Book for Python with Digital Access (2 Years)

Scheduling and Control of Queueing Networks

Mathematics for Machine Learning

TRADITIONAL LOGIC II (WORKBOOK)

GCSE Mathematics for AQA Foundation Problem-solving Book

Starting Out With Programming Logic And Design 5Th Edition Whats New In Computer Science 5Th Edition

MATHEMATICS- AP Computer Science Principles 219

Invitation To Computer Science 8Th Edition

Reasoning Together Fallacies

Cambridge Checkpoint Mathematics Learners Books 7-9

Critique of Pure Reason

Programming of Life (Paperback)

Cambridge International AS & A Level Mathematics: Pure Mathematics 2 & 3 Coursebook

Thinking Clearly with Data

From Decision Theory to Game Theory: Reasoning about the Decisions of Others

The Irrational Decision

Essential Discrete Mathematics for Computer Science

Computational and Algorithmic Thinking Book 3 2016–2020

Introductory Logic Student Handbook

The Discovery of Deduction

A Philosopher Looks at Clothes

Логика

Computer Science: Discovering God's Glory in Ones and Zeros

The Discovery of Deduction Assessments, Quizzes & Extra Practice

GCSE Mathematics for OCR Higher Student Book

University of Cambridge: Think Big: Artificial Intelligence

Praxis Computer Science (5652) Secrets Study Guide (printed book)

Theory of Demonstration According to William of Ockham

The Cambridge Companion to the Rule of Law

Data Modeling for the Sciences: Applications, Basics, Computations

Quantum Computing

Primary Computing Learner's Book 5 with Digital Access (1 Year)

Cambridge Lower Secondary Computing Learner's Book 7 with Digital Access (1 Year)

Introduction To Logic

GCSE Computer Science for OCR Student Book Updated Edition

Statistics in the Health Sciences: Theory, Applications, and Computing

Introduction to Logic - 3rd Edition

Lyric Logic

GACE Computer Science (725) Secrets Study Guide (printed book)

(eBook PDF) Introduction to Algorithms 4th Edition by Thomas H. Cormen

Exploring Computational Pharmaceutics: AI and Modeling in Pharma 4.0

(eBook PDF) Fundamentals of Logic Design 7th Enhanced Edition by Charles H. Roth