1 citations to https://www.mathnet.ru/rus/stlog1

1. Duccio Pianigiani, UNIverSI. Ricerca e Didattica all'Università di Siena, 4, Lectures in Proof Theory and Complexity, 2025, 121