Visualizza carrello “Notes on Philosophy, Probability and Mathematics” è stato aggiunto al tuo carrello.
proof-theory-and-logical-complexity
ISBN: 9788870881233
Pagine: 506
Anno: 1987
Edizione: 7088
Rilegatura: RILEGATO

Proof Theory and Logical Complexity

Lingua: inglese
Categoria: , .

€77.00

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.

Log in with your credentials

Forgot your details?