ulrich kohlenbach
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Sofort lieferbarP This is the first treatment in book format of proof-theoretic transformations - known as proof...
Logic, Language, Information, and Computation
Print on DemandEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Print on DemandInhaltsangabePreface.- Introduction.- Unwinding of proofs (`Proof Mining').- Intuitionistic and c...
Logic, Language, Information, and Computation
Print on DemandEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Print on DemandRezensionFrom the reviews:'This book covers. from proof theory to a rich set of applicati...
- 1