filmov
tv
Mathematical Logic, Lecture 15 (Real Closed Fields and Tarski's Quantifier Elimination)
Показать описание
These are video lectures for the Mathematical Logic course (Math 220A) taught by Artem Chernikov at UCLA in the Fall quarter of 2021.