MARC Record from harvard_bibliographic_metadata

LEADER: 02453nam a22003855a 4500
001 013507698-6
005 20141105145611.0
008 121116s2013 xxk| s ||0| 0|eng d
020 $a9781447145585
020 $a9781447145585
020 $a9781447145578
024 7 $a10.1007/978-1-4471-4558-5$2doi
035 $a(Springer)9781447145585
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 $aDalen, D. van$q(Dirk),$d1932-$eauthor.
245 10 $aLogic and Structure /$cby Dirk Dalen.
250 $a5th ed. 2013.
260 $aLondon :$bSpringer London :$bImprint: Springer,$c2013.
300 $aX, 263 p. 27 illus.$bdigital.
490 0 $aUniversitext,$x0172-5939
505 0 $a<p>Introduction -- Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second Order Logic -- Intuitionistic Logic -- Normalization -- Gödel's theorem.</p>.
520 $a<p>Dirk van Dalen’s popular textbook<i> Logic and Structure</i>, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. </p><p>Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. </p><p>In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. </p><p>The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. </p><p>This new edition has been properly revised and contains a new section on ultra-products.</p>
650 10 $aMathematics.
650 0 $aMathematics.
650 0 $aLogic, Symbolic and mathematical.
650 24 $aMathematical Logic and Foundations.
776 08 $iPrinted edition:$z9781447145578
830 0 $aUniversitext.
988 $a20121205
906 $0VEN