PHIL_V 320 - Logic: Metatheory and Computability