02235nam 2200553 a 450 991082120850332120200520144314.01-282-16918-197866121691820-08-093364-5(CKB)1000000000748330(EBL)428594(OCoLC)437112416(SSID)ssj0000167823(PQKBManifestationID)12036628(PQKBTitleCode)TC0000167823(PQKBWorkID)10177980(PQKB)11541772(MiAaPQ)EBC428594(PPN)263669998(EXLCZ)99100000000074833020760716d1977 uy 0engurun#---uuuuutxtccrHandbook of mathematical logic /edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]Amsterdam ;New York North-Holland Pub. Co.19771 online resource (1179 p.)Studies in logic and the foundations of mathematics ;v. 90Description based upon print version of record.0-444-86388-5 Includes bibliographical references and indexes.pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.Studies in logic and the foundations of mathematics ;v. 90.Logic, Symbolic and mathematicalLogic, Symbolic and mathematical.511/.3Barwise Jon44681Keisler H. Jerome57766MiAaPQMiAaPQMiAaPQBOOK9910821208503321Handbook of mathematical logic4068459UNINA