Logical foundations of mathematics and computational comple

Descrição: The two main themes of this book, logic and complexity, are both essential for understanding the main problems abou... Veja mais