The Language of Mathematics こちらもおすすめ

Logic and Language Models for Computer Science Logic and Language Models for Computer Science
Logic and Language Models for Computer Science
2017年
Logic: The Theory of Formal Inference Logic: The Theory of Formal Inference
Logic: The Theory of Formal Inference
2015年
Introduction to Logic Introduction to Logic
Introduction to Logic
2013年
Topics in Modern Logic Topics in Modern Logic
Topics in Modern Logic
2019年
Quantification Theory Quantification Theory
Quantification Theory
2019年
Essential Logic for Computer Science Essential Logic for Computer Science
Essential Logic for Computer Science
2019年
Popular Lectures on Mathematical Logic Popular Lectures on Mathematical Logic
Popular Lectures on Mathematical Logic
2014年
Logic in Elementary Mathematics Logic in Elementary Mathematics
Logic in Elementary Mathematics
2011年
Logic and Discrete Mathematics Logic and Discrete Mathematics
Logic and Discrete Mathematics
2015年
Logic Primer, third edition Logic Primer, third edition
Logic Primer, third edition
2022年
Introduction to Mathematical Thinking Introduction to Mathematical Thinking
Introduction to Mathematical Thinking
2012年
Mathematical Logic: Questions and Answers (2020 Edition) Mathematical Logic: Questions and Answers (2020 Edition)
Mathematical Logic: Questions and Answers (2020 Edition)
2019年
Boolean Algebra and Its Applications Boolean Algebra and Its Applications
Boolean Algebra and Its Applications
2012年
The Elements of Formal Logic The Elements of Formal Logic
The Elements of Formal Logic
2019年
Boolean Reasoning Boolean Reasoning
Boolean Reasoning
2012年