MCS-013: Discrete Mathematics こちらもおすすめ
Handbook of Discrete and Combinatorial Mathematics
2017年
Boolean Algebra and Its Applications
2012年
Eliminating the Universe
2018年
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022年
Logic and Discrete Mathematics
2015年
Formal Methods in Computer Science
2019年
Mathematical Logic
2013年
One Hundred Years of Axiomatic Set Theory
2012年
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
2017年
Popular Lectures on Mathematical Logic
2014年
Logic in Elementary Mathematics
2011年
50 years of Combinatorics, Graph Theory, and Computing
2019年
Qualitative Spatial and Temporal Reasoning
2013年
PROOF AND COMPUTATION II
2021年
Popular Lectures In Undergraduate Mathematics
2022年