1
Introduction to proofs and proof strategies /
Book
Subject (ZB): “...proof theory...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
2
Relational Calculus for Actionable Knowledge [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
3
Discrete Mathematics and Graph Theory [E-Book] : A Concise Study Companion and Guide /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
4
An introduction to mathematical proofs [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
5
Proof theory : sequent calculi and related formalisms [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
6
The elementary theory of groups : a guide through the proofs of the Tarski conjectures [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
7
On the extraction of computational content from noneffective convergence proofs in analysis [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
8
Proof and computations [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
9
Proof theory [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
10
Icons of mathematics : an exploration of twenty key images [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
11
Conditional and preferential logics : proof methods and theorem proving [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
12
Perspectives in logic : logical foundations of proof complexity [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
13
2-D quadratic maps and 3-D ODE systems : a rigorous approach [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
14
Ways of proof theory / [E-Book]
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
15
Handbook of mathematical induction : theory and applications [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
16
Charming proofs : a journey into elegant mathematics [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
17
Lectures on the Curry-Howard isomorphism / [E-Book]
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
18
Lectures on the Curry-Howard isomorphism [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
19
The nuts and bolts of proofs / [E-Book]
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:
20
The nuts and bolts of proofs [E-Book] /
Subject (ZB): “...Proof theory....”

Full text 
Favorites
Saved in:

Narrow Search Results