Solutions to the exercises in first course in mathematical logic - Binford Fredrick (1965)
Keywords: Maths