LEADER 02261nam  2200553 a 450 
001 9910783094303321
005 20170816111735.0
010   $a1-282-16918-1
010   $a9786612169182
010   $a0-08-093364-5
035   $a(CKB)1000000000748330
035   $a(EBL)428594
035   $a(OCoLC)437112416
035   $a(SSID)ssj0000167823
035   $a(PQKBManifestationID)12036628
035   $a(PQKBTitleCode)TC0000167823
035   $a(PQKBWorkID)10177980
035   $a(PQKB)11541772
035   $a(MiAaPQ)EBC428594
035   $a(PPN)263669998
035   $a(EXLCZ)991000000000748330
100   $a20760716d1977      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aHandbook of mathematical logic$b[electronic resource] /$fedited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
210   $aAmsterdam ;$aNew York $cNorth-Holland Pub. Co.$d1977
215   $a1 online resource (1179 p.)
225 1 $aStudies in logic and the foundations of mathematics ;$vv. 90
300   $aDescription based upon print version of record.
311   $a0-444-86388-5 
320   $aIncludes bibliographical references and indexes.
327   $apt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
330   $aThe 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.
410  0$aStudies in logic and the foundations of mathematics ;$vv. 90.
606   $aLogic, Symbolic and mathematical
615  0$aLogic, Symbolic and mathematical.
676   $a511.3
701   $aBarwise$b Jon$044681
701   $aKeisler$b H. Jerome$057766
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910783094303321
996   $aHandbook of mathematical logic$93758862
997   $aUNINA