| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Adian 90: Conference on Mathematical Logic, Algebra, and Computation
|
|||
|
|
|||
|
Logic and Mathematics. An interaction via Model Theory B. I. Zilber Oxford University, United Kingdom |
|||
|
Abstract: 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. Language: English |
|||