- 出版社：Springer
- 出版年月：2012年 12月
- ISBN：9781447145578
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：5TH
- 巻数・ページ数：285 p.
- 分類： 集合論・論理学
- DDC分類：511
- 内容紹介：
-
This popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's famous incompleteness theorem.