An Introduction to Functional Programming Through Lambda Calculus こちらもおすすめ
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
2012年
Gödel's Proof
2001年
Concepts of Modern Mathematics
2012年
Fathoming Gödel
2015年
Mathematics
2012年
Hands-On Calculus
2012年
Introductory Discrete Mathematics
2012年
Mathematics for Quantum Mechanics
2012年
God Created The Integers
2007年
MATLAB for Beginners
2013年
Algebra II For Dummies
2018年
Games and Decisions
2012年
An Introduction to Mathematical Physics
2015年
Elementary Linear Algebra
2012年
AP Calculus AB
2013年