Logic appears in a 'sacred' and in a 'profane' form. The sacred form is dominant in proof theory, the profane form in model theory. The phenomenon is not unfamiliar, one observes this dichotomy also in other areas, e.g. set theory and recursion theory. For one reason or another, such as the discovery of the set theoretical paradoxes (Cantor, Russell), or the definability paradoxes (Richard, Berry), a subject is treated for some time with the utmost awe and diffidence. As a rule, however, sooner or later people start to treat the matter in a more free and easy way. Being raised in the 'sacred' tradition, I was greatly surprised (and some what shocked) when I observed Hartley Rogers teaching recursion theory to mathema ticians as if it were just an ordinary course in, say, linear algebra or algebraic topology. In the course of time I have come to accept his viewpoint as the didac tically sound one: before going into esoteric niceties one should develop a certain feeling for the subject and obtain a reasonable amount of plain working knowledge. For this reason I have adopted the profane attitude in this introductory text, reserving the more sacred approach for advanced courses. Readers who want to know more about the latter aspect of logic are referred to the immortal texts of Hilbert-Bernays or Kleene.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dirk van Dalen studied at the University of Amsterdam, where he obtained his PhD. He has taught since 1960 at Utrecht University, where he is full professor. He also taught at MIT and Oxford. His technical work is mostly in the area of intuitionistic mathematics and logic. He uses to call attention to the benefits and challenges of constructive methods. His current project is a biography of L.E.J. Brouwer and the editing of Brouwer's correspondence.
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions.
The discussion of classical logic is rounded off with a concise exposition of second-order logic.
In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated.
The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically.
Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 7,00 per la spedizione da Germania a Italia
Destinazione, tempi e costiDa: Antiquariat Bookfarm, Löbnitz, Germania
Second Edition. 210 Ex-library book in GOOD condition, some traces of use, with stamp and signature. Ehem. Bibliotheksexemplar mit Stempel und Signatur, ein paar Gebrauchsspuren. 9783540128311 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 717231
Quantità: 1 disponibili
Da: Ammareal, Morangis, Francia
Softcover. Condizione: Bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-122-152
Quantità: 1 disponibili
Da: Ammareal, Morangis, Francia
Softcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-128-951
Quantità: 1 disponibili
Da: Anybook.com, Lincoln, Regno Unito
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:354012831X. Codice articolo 9511079
Quantità: 1 disponibili
Da: Anybook.com, Lincoln, Regno Unito
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:354012831X. Codice articolo 9628276
Quantità: 1 disponibili
Da: Anybook.com, Lincoln, Regno Unito
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:354012831X. Codice articolo 9628277
Quantità: 1 disponibili
Da: Antiquariat Smock, Freiburg, Germania
Condizione: Gut. Formateinband: Broschierte Ausgabe X, 207 S. (24,5 cm) 2nd Edition; Minimaler blasser Fleck am Vorderdeckel; Papier gebräunt; sonst gut erhalten. Sprache: Englisch Gewicht in Gramm: 490 [Stichwörter: Propositional Logic, Predicate logic, Completeness and applications, Second-order-logic, Intuitionistic logic]. Codice articolo 61878
Quantità: 1 disponibili
Da: Klondyke, Almere, Paesi Bassi
Condizione: Good. Paperback, illustrated with numerous equations and diagrams, 8vo. Universitext.; Name in pen on title page. Codice articolo 342014-ZA22
Quantità: 1 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Gut. Zustand: Gut | Seiten: 220 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 42709921/203
Quantità: 1 disponibili
Da: Mispah books, Redhill, SURRE, Regno Unito
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA773354012831X6
Quantità: 1 disponibili