000			a
999			_c30748 _d30748
008			220223b xxu||||| |||| 00| 0 eng d
020			_a9781447145578
082			_a511.3 _bDAL
100			_aDalen, Dirk van
245			_aLogic and structure
250			_a5th ed.
260			_bSpringer, _c2004 _aLondon :
300			_ax, 263 p. ; _bill., _c24 cm
365			_b64.99 _cEUR _d88.10
490			_aUniversitext, _v0172-5939
504			_aIncludes bibliographical references and index.
520			_aDirk van Dalen’s popular textbook Logic and Structure, 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. 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. 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. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products.
650			_aLogic
650			_a Symbolic and mathematical
650			_aMathematics
650			_aAbelian group
650			_a Algebraically closed fields
650			_a Cantor's coding
650			_a Completeness theorem
650			_a Decidable theory
650			_aDownward skolen-Lowenhein theorem
650			_aExistence property
650			_aGlivenko's theorem
650			_a Interpiolation theorem
650			_aMaximally consistent theory
650			_aRank-induction principle
650			_aSmoryrisk
650			_aTree Kripke model
650			_aVaught's theorem
650			_aWeak normalization
650			_aGodel's theorem
942			_2ddc _cBK