A First Course in Logic こちらもおすすめ

A Transition to Proof A Transition to Proof
2019年
The Elements of Advanced Mathematics The Elements of Advanced Mathematics
2022年
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
2015年
Proof Writing: Questions and Answers (2020 Edition) Proof Writing: Questions and Answers (2020 Edition)
2019年
Proof Writing: Questions and Answers Proof Writing: Questions and Answers
2018年
An Introduction to Mathematical Proofs An Introduction to Mathematical Proofs
2019年
Elementary Set Theory: Questions and Answers (2020 Edition) Elementary Set Theory: Questions and Answers (2020 Edition)
2019年
Mathematical Logic Mathematical Logic
2018年
Proof and Computation Proof and Computation
2018年
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
2021年
Computability Theory Computability Theory
2017年
Algebra & Geometry Algebra & Geometry
2021年
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
2022年
Proof Theory Proof Theory
2013年
Logic and Algebra Logic and Algebra
2017年