Mathematical logic Courses
MUNI Seminar Series via YouTube Reasoning About Hilbert's Choice Operator in SMT
ACM SIGPLAN via YouTube Spectra and Definability in Combinatorial Sets of Reals
University of Chicago Department of Mathematics via YouTube
MUNI Seminar Series via YouTube Reasoning About Hilbert's Choice Operator in SMT
ACM SIGPLAN via YouTube Spectra and Definability in Combinatorial Sets of Reals
University of Chicago Department of Mathematics via YouTube