This is the first treatment in book format of proof-theoretic transformations - known as proof in...
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this bo...
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new...
The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...