000 -LEADER |
fixed length control field |
a |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
220223b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781447145578 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
Item number |
DAL |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Dalen, Dirk van |
245 ## - TITLE STATEMENT |
Title |
Logic and structure |
250 ## - EDITION STATEMENT |
Edition statement |
5th ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2004 |
Place of publication, distribution, etc |
London : |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 263 p. ; |
Other physical details |
ill., |
Dimensions |
24 cm |
365 ## - TRADE PRICE |
Price amount |
64.99 |
Price type code |
EUR |
Unit of pricing |
88.10 |
490 ## - SERIES STATEMENT |
Series statement |
Universitext, |
Volume number/sequential designation |
0172-5939 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
Dirk 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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic |
|
Topical term or geographic name as entry element |
Symbolic and mathematical |
|
Topical term or geographic name as entry element |
Mathematics |
|
Topical term or geographic name as entry element |
Abelian group |
|
Topical term or geographic name as entry element |
Algebraically closed fields |
|
Topical term or geographic name as entry element |
Cantor's coding |
|
Topical term or geographic name as entry element |
Completeness theorem |
|
Topical term or geographic name as entry element |
Decidable theory |
|
Topical term or geographic name as entry element |
Downward skolen-Lowenhein theorem |
|
Topical term or geographic name as entry element |
Existence property |
|
Topical term or geographic name as entry element |
Glivenko's theorem |
|
Topical term or geographic name as entry element |
Interpiolation theorem |
|
Topical term or geographic name as entry element |
Maximally consistent theory |
|
Topical term or geographic name as entry element |
Rank-induction principle |
|
Topical term or geographic name as entry element |
Smoryrisk |
|
Topical term or geographic name as entry element |
Tree Kripke model |
|
Topical term or geographic name as entry element |
Vaught's theorem |
|
Topical term or geographic name as entry element |
Weak normalization |
|
Topical term or geographic name as entry element |
Godel's theorem |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |