Franco Montagna's work on provability logic and many-valued logic

Lev Beklemishev^ab, Tommaso Flaminio<sup>c

a</sup> Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, Moscow, Russia
^b National Research University Higher School of Economics, Vavilova str. 7, Moscow, Russia
^c Department of Theoretical and Applied Sciences, University of Insubria, Via Mazzini 5, Varese, Italy

Поступила в редакцию: 28.10.2015

Язык публикации: английский

DOI: 10.1007/s11225-016-9654-3

Реферативные базы данных:

• 
• 
• 
• 
•