This
seems to be the text of
Quine
’s “Mathematical Logic”. It is a first class introduction to first order predicate calculus.