MARC Record from marc_columbia

LEADER: 02913cam a2200481 i 4500
001 15132355
005 20220611232730.0
006 m o d
007 cr cnu---unuuu
008 180508r20011967mau o 001 0 eng d
035 $a(OCoLC)on1034989387
035 $a(NNC)15132355
040 $aN$T$beng$erda$epn$cN$T$dOCLCQ$dOCLCO$dSFB$dK6U$dOCLCO
020 $a9780203749456$q(electronic bk.)
020 $a0203749456$q(electronic bk.)
020 $z1568811357
020 $z9781568811352
035 $a(OCoLC)1034989387
050 4 $aQA9
072 7 $aMAT$x000000$2bisacsh
082 04 $a511.3$222
049 $aZCUA
100 1 $aShoenfield, Joseph R.$q(Joseph Robert),$d1927-
245 10 $aMathematical logic /$cby Joseph R. Shoenfield.
264 1 $aNatick, Mass. :$bA.K. Peters,$c2001, ©1967.
300 $a1 online resource (vii, 344 pages)
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
500 $aOriginally published: Reading, Mass. : Addison-Wesley Pub. Co., 1967, in series: Addison-Wesley series in logic.
500 $aIncludes index.
588 0 $aPrint version record.
505 0 $aChapter 1 The Nature of Mathematical Logic -- chapter 2 First-Order Theories -- chapter 3 Theorems in First-Order Theories -- chapter 4 The Characterization Problem -- chapter 5 The Theory of Models -- chapter 6 1C alcu lab ility -- chapter 7 Recursion Theory -- chapter 8 The Natural Numbers -- chapter 9 Set Theory.
520 3 $aThis classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers.
650 0 $aLogic, Symbolic and mathematical.
650 6 $aLogique symbolique et mathématique.
650 7 $aMATHEMATICS$xGeneral.$2bisacsh
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
655 0 $aElectronic books.
655 4 $aElectronic books.
776 08 $iPrint version:$aShoenfield, Joseph R. (Joseph Robert), 1927-$tMathematical logic.$dNatick, Mass. : A.K. Peters, 2001, ©1967$z1568811357$w(OCoLC)606150935
856 40 $uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio15132355$zTaylor & Francis eBooks
852 8 $blweb$hEBOOKS