Explore Books on
preuve théorie de la

Incompleteness

By Rebecca Goldstein

Proofs from the book

By Martin Aigner

Automated Deduction in Nonclassical Logics

By Lincoln A. Wallen

Tableau systems for first order number theory and certain higher order theories

By Sue Ann Toledo

Proofs and Fundamentals

By Ethan D. Bloch

Provability, complexity, grammars

By Lev Dmitrievich Beklemishev

Axiomatising the logic of computer programming

By Robert Goldblatt

Proof and knowledge in mathematics

By Michael Detlefsen

Proof, logic, and formalization

By Michael Detlefsen

ISILC Proof Theory Symposion

By ISILC Proof Theory Symposion University of Kiel 1974.

The resolution calculus

By Alexander Leitsch