| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
|
|||
|
|
|||
|
Logic and Mathematics. An interaction via Model Theory B. I. Zilber Oxford University, United Kingdom |
|||
|
Аннотация: The study of fundamental logical notions such as a formal language, theory, completeness, categoricity and other lead to an interaction with core mathematical theories at a very deep level. Язык доклада: английский |
|||