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...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Online |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Firenze University Press, USiena Press
2026
|
| Ábhair: | |
| Rochtain ar líne: | ONIX_20260519T105718_9791221507782_41 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|