|
СЕМИНАРЫ |
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
The degrees of relative computable categoricity I. Sh. Kalimullin Kazan (Volga Region) Federal University |
|||
Аннотация: For a Turing degree Язык доклада: английский |