Reductive logic and proof-search View on Open Library

Reductive logic and proof-search

by David J. Pym , Eike Ritter

No reviews yet
First published: 2004 1 language ISBN: 9781435620780
Subjects
Proof theory Symbolic and mathematical Logic Logic Semantics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by David J. Pym

Economics of information security and privacy

Economics of information security and pr...

The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Lo...

Errata and remarks

Errata and remarks

Proofs, Search and Computation in General Logic

Proofs, Search and Computation in Genera...

The semantics and proof theory of the logic of bunched implications

The semantics and proof theory of the lo...

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

The Semantics and Proof Theory of the Lo...

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
Truth, error, and criminal law

Truth, error, and criminal law

Larry Laudan
Four Colours Suffice

Four Colours Suffice

Robin J. Wilson