MARC Record from harvard_bibliographic_metadata

LEADER: 02172nam a22004335a 4500
001 013842358-X
005 20131206202859.0
008 121227s1991 gw | s ||0| 0|eng d
020 $a9783642754623
020 $a9783642754623
020 $a9783540522362
024 7 $a10.1007/978-3-642-75462-3$2doi
035 $a(Springer)9783642754623
040 $aSpringer
050 4 $aQA8.9-10.3
072 7 $aPBC$2bicssc
072 7 $aPBCD$2bicssc
072 7 $aMAT018000$2bisacsh
082 04 $a511.3$223
100 1 $aSmoryński, Craig,$eauthor.
245 10 $aLogical Number Theory I :$bAn Introduction /$cby Craig Smoryński.
264 1 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c1991.
300 $aX, 405p. 13 illus.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aUniversitext,$x0172-5939
520 $aNumber theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography.
650 20 $aNumber theory.
650 10 $aMathematics.
650 0 $aMathematics.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aNumber theory.
650 24 $aMathematical Logic and Foundations.
776 08 $iPrinted edition:$z9783540522362
830 0 $aUniversitext.
988 $a20131119
906 $0VEN