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...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ

Հիմնական հեղինակ:	Duccio, Pianigiani
Ձևաչափ:	Online
Լեզու:	անգլերեն
Հրապարակվել է:	Firenze University Press, USiena Press 2026
Խորագրեր:	Proof Theory Category Theory Lambda Calculus Computational complexity Mathematical Logic thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Առցանց հասանելիություն:	ONIX_20260519T105718_9791221507782_41
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!