-
TaschenbuchBOD - 2 Tage
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
-
TaschenbuchBOD - 2 Tage
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
-
TaschenbuchBOD - 2 Tage
Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.-...
-
TaschenbuchBOD - 5 Tage
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...
-
BuchBOD - 7 Tage
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...
-
BuchBOD - 7 Tage
This is the first treatment in book format of proof-theoretic transformations - known as proof in...
- 1