^^PAGEHEADLINE ^^
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
SPRINGER 23.05.2008 - 2008Nar: - 536 S., 5.40 MB PDesc:Sofort lieferbar - Sofort lieferbarP This is the first treatment in book format of proof-theoretic transformations - known as proof...
-
Logic, Language, Information, and Computation
Springer Verlag GmbH 08.08.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Springer Verlag GmbH 21.10.2010 - 2010Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabePreface.- Introduction.- Unwinding of proofs (`Proof Mining').- Intuitionistic and c...
-
Logic, Language, Information, and Computation
Springer Verlag GmbH 24.07.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
-
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Springer Verlag GmbH 26.05.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenRezensionFrom the reviews:'This book covers. from proof theory to a rich set of applicati...
- 1