Video From 13w5047: Computable Model Theory

Wednesday, November 6, 2013 09:04 - 09:58
Computably Enumerable Structures

Download this video (139M)

Other videos from this workshop