Фиори Каронес Марта

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

1. Conservative translations for non-deterministic semantics
   Marta Fiori Carones
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   15 июня 2023 г. 17:20   
2. The strength of some consequences of RT22 over RCA∗0
   Marta Fiori Carones
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   6 июня 2022 г. 18:30