THINKING MATHEMATICALLY SECOND EDITION
ROBERT BLITZER2003 年出版755 页ISBN:0130656011
Lecture Notes in Computer Science 3564 Reasoning Web First International Summer School 2005
2005 年出版317 页ISBN:3540278281
Lecture Notes in Computer Science 4636 Reasoning Web Third International Summer School 2007
2007 年出版343 页ISBN:9783540746133
Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Essentials of Mathematical Thinking
Steven G.Krantz2017 年出版336 页ISBN:1138197701