Mathematical Logic, Lecture 15 (Real Closed Fields and Tarski's Quantifier Elimination)

preview_player
Показать описание
These are video lectures for the Mathematical Logic course (Math 220A) taught by Artem Chernikov at UCLA in the Fall quarter of 2021.
Рекомендации по теме