Intermediate Mathematical Logic

Quantificational logic with identity; basic meta-theory; modal logic.