- Lectures in Proof Theory and Complexity
- Duccio Pianigiani
University of Siena, Italy - ORCID: 0000-0001-9441-7226
Informazioni sul capitolo
Titolo del capitolo
Introduction
Autori
Duccio Pianigiani
Lingua
Inglese
Opera sottoposta a peer review
Anno di pubblicazione
2025
Copyright
© 2025 Author(s)
Licenza d'uso
Licenza dei metadati
Informazioni bibliografiche
Titolo del libro
Lectures in Proof Theory and Complexity
Autori
Duccio Pianigiani
Opera sottoposta a peer review
Anno di pubblicazione
2025
Copyright
© 2025 Author(s)
Licenza d'uso
Licenza dei metadati
Editore
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
Collana
UNIverSI. Ricerca e Didattica all’Università di Siena
ISSN della collana
3035-5915
e-ISSN della collana
3035-5931