Logic and structure

Author(s)

• Dalen, D. van (Dirk)

Bibliographic Information

Logic and structure

Dirk van Dalen

（Universitext）

Springer-Verlag, 1997, c1994

3rd augm. ed., corr. 2nd print

Note

Includes bibliography (p. [213]) 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"

Details

• NCID: BA34363370
• ISBN:
  • 3540578390
• LCCN: 94003443
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York ; Tokyo
• Pages/Volumes: x, 217 p.
• Size: 24 cm
• Classification:
  • NDC9 : 410.1
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00021004