Fundamentals Of Mathematical Logic door Peter G. Hinman