... the first half of an introductory course in mathematical logic given to graduate students in mathematics [at princeton in 1943].
Repeat this setence, but with the correct capitalization.
... the first half of an introductory course in mathematical logic given to graduate students in mathematics [at Princeton in 1943].