Lectures in Proof Theory and Complexity
The book is based on lecture notes from the course ‘Formal Systems’, taught by the author for the Master’s Degree in ‘Applied Mathematics’ at the University of Siena. It was created for educational purposes, specifically for second-level (graduate) courses. The work is mainly oriented towards applic...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Online |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Firenze University Press, USiena Press
2026
|
| Những chủ đề: | |
| Truy cập trực tuyến: | ONIX_20260519T105718_9791221507782_41 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| _version_ | 1869520638801084416 |
|---|---|
| author | Duccio, Pianigiani |
| author_browse | Duccio, Pianigiani |
| author_facet | Duccio, Pianigiani |
| author_sort | Duccio, Pianigiani |
| collection | Directory of Open Access Books |
| description | The book is based on lecture notes from the course ‘Formal Systems’, taught by the author for the Master’s Degree in ‘Applied Mathematics’ at the University of Siena. It was created for educational purposes, specifically for second-level (graduate) courses. The work is mainly oriented towards applications of Proof Theory — one of the macro-areas into which Mathematical Logic is divided — to Computability Theory and Computational Complexity Theory, albeit with entanglements with Model Theory and with Category Theory. The book begins with some classical results concerning formal arithmetic, dating back to the 1930s, and then compares them with more recent developments, emphasising the acceleration imparted to logical study by the development of computer science. |
| format | Online |
| id | doab-20.500.12854ir-176756 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2026 |
| publishDateRange | 2026 |
| publishDateSort | 2026 |
| publisher | Firenze University Press, USiena Press |
| publisherStr | Firenze University Press, USiena Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1767562026-05-20T09:44:59Z Lectures in Proof Theory and Complexity Duccio, Pianigiani Proof Theory Category Theory Lambda Calculus Computational complexity Mathematical Logic thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations The book is based on lecture notes from the course ‘Formal Systems’, taught by the author for the Master’s Degree in ‘Applied Mathematics’ at the University of Siena. It was created for educational purposes, specifically for second-level (graduate) courses. The work is mainly oriented towards applications of Proof Theory — one of the macro-areas into which Mathematical Logic is divided — to Computability Theory and Computational Complexity Theory, albeit with entanglements with Model Theory and with Category Theory. The book begins with some classical results concerning formal arithmetic, dating back to the 1930s, and then compares them with more recent developments, emphasising the acceleration imparted to logical study by the development of computer science. 2026-05-20T09:44:58Z 2026-05-20T09:44:58Z 2026-05-19T12:16:56Z 2025 book ONIX_20260519T105718_9791221507782_41 3035-5931 https://library.oapen.org/handle/20.500.12657/113086 9791221507782 9791221507799 https://directory.doabooks.org/handle/20.500.12854/176756 eng UNIverSI. Ricerca e Didattica all’Università di Siena open access image/jpeg Attribution-ShareAlike 4.0 International https://library.oapen.org/bitstream/20.500.12657/113086/1/9791221507782.pdf Firenze University Press, USiena Press 10.36253/979-12-215-0778-2 10.36253/979-12-215-0778-2 5de139c8-a8db-4fa2-b1ec-526abcd873ed 9791221507782 9791221507799 252 Florence open access |
| spellingShingle | Proof Theory Category Theory Lambda Calculus Computational complexity Mathematical Logic thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations Duccio, Pianigiani Lectures in Proof Theory and Complexity |
| title | Lectures in Proof Theory and Complexity |
| title_full | Lectures in Proof Theory and Complexity |
| title_fullStr | Lectures in Proof Theory and Complexity |
| title_full_unstemmed | Lectures in Proof Theory and Complexity |
| title_short | Lectures in Proof Theory and Complexity |
| title_sort | lectures in proof theory and complexity |
| topic | Proof Theory Category Theory Lambda Calculus Computational complexity Mathematical Logic thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations |
| topic_facet | Proof Theory Category Theory Lambda Calculus Computational complexity Mathematical Logic thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations |
| url | ONIX_20260519T105718_9791221507782_41 |
| work_keys_str_mv | AT ducciopianigiani lecturesinprooftheoryandcomplexity |