The aim of this volume is to collect original contributions by the best specialists from the area...

This book provides an overview of the confluence of ideas in Turing's era and work and examines t...

¿Proof theory came into being in the twenties of the last century, when it was inaugurated by Dav...

This book provides an overview of the confluence of ideas in Turing's era and work and examines t...