Current topics in effective model theory ((G) Math 272.F94) Course uri icon