Logical labyrinths

著者

• Smullyan, Raymond M.

書誌事項

Logical labyrinths

Raymond M. Smullyan

（An A K Peters book）

CRC Press, c2009

• : hardcover

注記

Includes bibliographical references (p. 321-322) and index

内容説明・目次

内容説明

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject.

目次

Preface, I Be Wise, Generalize!, II Be Wise, Symbolize!, III Infinity, IV Fundamental Results in First-Order Logic, V Axiom Systems, VI More on First-Order Logic, References

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB27608555
• ISBN:
  • 9781568814438
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boca Raton
• ページ数/冊数: viii, 327 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9
  • DC22 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Mathematical recreations
  • LCSH : Puzzles
• 親書誌ID:
  • BB07037815