数理論理学（テキスト・第３版）
Mathematical Logic
Graduate Texts in Mathematics
Ebbinghaus, Heinz-Dieter
Flum, Joerg
Thomas, Wolfgang
- 内容紹介：
-
New in softcover. Hardcover was published in 2021. This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.