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