RUS
ENG
Full version
PEOPLE
Flaminio Tommaso
Publications in Math-Net.Ru
Franco Montagna's work on provability logic and many-valued logic
Studia Logica
,
104
:1 (2016),
1–46
©
Steklov Math. Inst. of RAS
, 2026
