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