Flaminio Tommaso

Публикации в базе данных Math-Net.Ru

1. Franco Montagna's work on provability logic and many-valued logic
   
   Studia Logica, 104:1 (2016),  1–46