Custom cover image
Custom cover image

Logic and structure / Dirk van Dalen

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: UniversitextPublisher: Berlin ; Heidelberg [u.a.] : Springer, 2004Edition: 4. edDescription: X, 263 S. : graph. Darst. ; 24 cmISBN:
  • 9783540208792
  • 3540208798
Subject(s): Genre/Form: MSC: MSC: *03-01 | 03-02RVK: RVK: SK 130LOC classification:
  • QA9
Summary: From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary TOC:Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Goedel's Theorem.- Bibliography.- Index.-PPN: PPN: 378639315
Holdings
Item type Home library Shelving location Call number Status Barcode
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Grundl./Logik / Dal Available 36393035090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT