Ну вот например: http://math.berkeley.edu/courses_descripts.html

125A -- Mathematical Logic [4 units]
Course Format: Three hours of lecture per week.
Prerequisites: 113 or consent of instructor.
Description: Sentential and quantificational logic. Formal grammar, semantical interpretation, formal deduction, and their interrelation. Applications to formalized mathematical theories. Selected topics from model theory or proof theory.
(F,SP)

(Reply to this) (Parent)