The Work Handbook of Mathematical Logic The details The Author Jon Barwise The offers View hardback on Amazon