Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

When are two proofs of the same proposition equal? This book answers through computational paths ...