Classical and computable model theory ((G) Math 6720.S15,S20) Course uri icon