Lecture notes in logic: LNL (Cambridge University Press, 1993)