378639315     

112109942                        

---

Logic and structure / Dirk van Dalen

Dalen, Dirk van, 1932-

4. ed.

Berlin ; Heidelberg [u.a.] : Springer, 2004

X, 263 S. : graph. Darst. ; 24 cm

Englisch

Literaturverz. S. [257] - 258

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

978-3-540-20879-2 ( : Pb. : EUR 32.05 (freier Pr.)); 3-540-20879-8 (Pb. : EUR 32.05 (freier Pr.))

2004045235

970038453

9783540578390

OCoLC: 249146242     

OCoLC: 54529334 (aus SWB)     

SK 130      Ähnliche Literatur

QA9

511.3

Basisklassifikation: 31.10 (Mathematische Logik; Mengenlehre)

MSC: *03-01 ; MSC: 03-02

SSG-Nummer(n): 17,1

*Mathematische Logik ; Lehrbuch      Zum Register

*Mathematische Logik ; Lehrbuch      Zum Register

LOC-SH: Logic, Symbolic and mathematical

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.-

 Cover    Inhaltstext    Einführung/Vorwort    Inhaltsverzeichnis    Inhaltstext    Publisher description   Contributor biographical information