... the first half of an introductory course in mathematical logic given to graduate students in mathematics [at Princeton in 1943].
... ang unang kalahati ng isang pambungad kurso sa matematika na lohika na ibinigay sa mga mag-aaral na nagtapos sa matematika [sa Princeton sa 1943].