Logic and structure

著者

• Dalen, D. van (Dirk)

書誌事項

Logic and structure

Dirk van Dalen

（Universitext）

Springer-Verlag, 1997, c1994

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

注記

Includes bibliography (p. [213]) and index

内容説明・目次

内容説明

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

目次

• Contents: Introduction
• Propositional Logic
• Predicate Logic
• Completeness and Applications
• Second Order Logic
• Intuitionistic Logic
• Normalisation.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA34363370
• ISBN:
  • 3540578390
• LCCN: 94003443
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York ; Tokyo
• ページ数/冊数: x, 217 p.
• 大きさ: 24 cm
• 分類:
  • NDC9 : 410.1
  • DC20 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA00021004