Logic and structure
Author(s)
Bibliographic Information
Logic and structure
（Universitext）
Springer-Verlag, c1994
3rd augm. ed
- : gw
- : us
Related Bibliography 2 items
-
-
Logic and structure / Dirk van Dalen
BA23718543
-
Logic and structure / Dirk van Dalen
-
-
Logic and structure / Dirk van Dalen
BA34363370
-
Logic and structure / Dirk van Dalen
Available at / 8 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [211]) and index
Description and Table of Contents
Description
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
Table of Contents
- Contents: Introduction
- Propositional Logic
- Predicate Logic
- Completeness and Applications
- Second Order Logic
- Intuitionistic Logic
- Normalisation.
by "Nielsen BookData"
