Handbook of Mathematical Logic by Elsevier Science Publishing Co & J. Barwise