- Lectures in Proof Theory and Complexity
- Duccio Pianigiani
University of Siena, Italy - ORCID: 0000-0001-9441-7226
Chapter Information
Chapter Title
Table of contents
Authors
Duccio Pianigiani
Language
English
Peer Reviewed
Publication Year
2025
Copyright Information
© 2025 Author(s)
Content License
Metadata License
Bibliographic Information
Book Title
Lectures in Proof Theory and Complexity
Authors
Duccio Pianigiani
Peer Reviewed
Publication Year
2025
Copyright Information
© 2025 Author(s)
Content License
Metadata License
Publisher Name
Firenze University Press, USiena Press
DOI
10.36253/979-12-215-0778-2
eISBN (pdf)
979-12-215-0778-2
eISBN (xml)
979-12-215-0779-9
Series Title
UNIverSI. Ricerca e Didattica all’Università di Siena
Series ISSN
3035-5915
Series E-ISSN
3035-5931