Explore Books on
beweistheorie

Proofs and refutations

By Imre Lakatos,John Worrall,Elie Zahar

Three Views of Logic

By Donald W. Loveland,Richard E. Hodel,S G Sterrett

100% mathematical proof

By Rowan Garnier

Proof theory

By Katalin Bimbo

Proof theory and intuitionistic systems

By Bruno Scarpellini

Logic year 1979-80, the University of Connecticut, USA

By M. Lerman,R. I. Soare

The power of interaction

By Carsten Lund

Provability, complexity, grammars

By Lev Dmitrievich Beklemishev

Programs, proofs, processes

By Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)

Logic-Based Program Synthesis and Transformation

By Danny De Schreye

Explanation and proof in mathematics

By G. Hanna

Logic and computational complexity

By Daniel Leivant,Gerhard Goos,Juris Hartmanis

Proof Theory

By Wolfram Pohlers

Types for Proofs and Programs

By Hutchison, David - undifferentiated

Proof, logic, and formalization

By Michael Detlefsen

Iterated inductive definitions and subsystems of analysis

By Wilfried Buchholz

ISILC Proof Theory Symposion

By ISILC Proof Theory Symposion University of Kiel 1974.