|
ВИДЕОТЕКА |
Международная конференция "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. Язык доклада: английский |