ISBN: 9788870881233
Pagine: 506
Anno: 1987
Edizione: 7088
Rilegatura: RILEGATO

Proof Theory and Logical Complexity

Lingua: inglese
Categoria: , .


This book is intended to be an introduction to proof-theory. Starting with Hilbert, whose second problem (in the famous list of problems of 1900) was the consistency of number theory, Hilbert’s program and its demise at the hands of Gödel. Then proceed with Gentzen’s results.


©2023 BIBLIOPOLIS – Edizioni di Filosofia e Scienze