Computable model (structure) theory ((G) Math 6720.S99,S11) Course uri icon