Frederick Binford

• Solutions to exercises in First course in mathematical logic