Lecture notes in logic - Association for Symbolic Logic (Cambridge University Press)