Related Books
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 2018-05-30 - Publisher: World Scientific
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Language: en
Pages: 480
Pages: 480
Type: BOOK - Published: 2011-12-15 - Publisher: Cambridge University Press
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computabil
Language: en
Pages: 470
Pages: 470
Type: BOOK - Published: 2011-12-22 - Publisher: Springer
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show
Language: en
Pages: 161
Pages: 161
Type: BOOK - Published: 2015-05-05 - Publisher: Cambridge University Press
Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution
Language: en
Pages: 425
Pages: 425
Type: BOOK - Published: 2021-07-27 - Publisher: World Scientific
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
