Proof Theory and Automated Deduction View on Open Library

Proof Theory and Automated Deduction

by J. Goubault-Larrecq , I. Mackie

No reviews yet
First published: 2001 1 language ISBN: 9781402003684
Subjects
Proof theory Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Proof theory
Summa Theologica

Summa Theologica

Thomas Aquinas
Meditationes de prima philosophia

Meditationes de prima philosophia

René Descartes
Fermat's Last Theorem

Fermat's Last Theorem

Simon Singh
Mathematical proofs

Mathematical proofs

Daniel Solow
Four Colours Suffice

Four Colours Suffice

Robin J. Wilson
Truth, error, and criminal law

Truth, error, and criminal law

Larry Laudan