Beweistheorie

17 books
Proofs and refutationsImre Lakatos
⏱ 2h 54m

Proofs and refutations

Imre Lakatos

1976174 pp.
Three Views of LogicDonald W. Loveland
⏱ 5h 39m

Three Views of Logic

Donald W. Loveland

2014339 pp.
Explanation and proof in mathematicsG. Hanna
⏱ 4h 54m

Explanation and proof in mathematics

G. Hanna

2010294 pp.
The power of interactionCarsten Lund
⏱ 2h 5m

The power of interaction

Carsten Lund

1992125 pp.
Logic year 1979-80, the University of Connecticut, USAM. Lerman
⏱ 5h 26m

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

M. Lerman

1981326 pp.
Proof TheoryWolfram Pohlers

Proof Theory

Wolfram Pohlers

2009No page data
Proof theory and intuitionistic systemsBruno Scarpellini
⏱ 4h 50m

Proof theory and intuitionistic systems

Bruno Scarpellini

1971290 pp.
Programs, proofs, processesConference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
⏱ 7h 30m

Programs, proofs, processes

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

2010450 pp.
ISILC Proof Theory SymposionISILC Proof Theory Symposion University of Kiel 1974.
⏱ 6h 23m

ISILC Proof Theory Symposion

ISILC Proof Theory Symposion University of Kiel 1974.

1975383 pp.
100% mathematical proofRowan Garnier
⏱ 5h 17m

100% mathematical proof

Rowan Garnier

1996317 pp.
Proof theoryKatalin Bimbo
⏱ 6h 16m

Proof theory

Katalin Bimbo

2015376 pp.
Provability, complexity, grammarsLev Dmitrievich Beklemishev
⏱ 2h 52m

Provability, complexity, grammars

Lev Dmitrievich Beklemishev

1999172 pp.
Logic-Based Program Synthesis and TransformationDanny De Schreye
⏱ 3h 35m

Logic-Based Program Synthesis and Transformation

Danny De Schreye

2010215 pp.
Types for Proofs and ProgramsHutchison, David - undifferentiated

Types for Proofs and Programs

Hutchison, David - undifferentiated

2009No page data
Iterated inductive definitions and subsystems of analysisWilfried Buchholz
⏱ 6h 23m

Iterated inductive definitions and subsystems of analysis

Wilfried Buchholz

1981383 pp.
Logic and computational complexityDaniel Leivant
⏱ 8h 34m

Logic and computational complexity

Daniel Leivant

1995514 pp.
Proof, logic, and formalizationMichael Detlefsen
⏱ 4h 1m

Proof, logic, and formalization

Michael Detlefsen

1992241 pp.