MATH 411 Mathematical Logic
by pinarongan on Jun.14, 2010, under Taken Course History
Prepositional and quantificational logic, formal grammar, semantical interpretation, formal deduction, completeness theorems, selected topics from model theory and proof theory.