theorem

的圖書，這是第 18 頁

	$ 4199	The Ricci Flow in Riemannian Geometry: A Complete Proof of the Differentiable 1/4 - Pinching Sphere Theorem 作者：Andrews　出版社：Springer 出版日期：2010-11-25 語言：英文規格：平裝 / 302頁 / 23.4 x 15.5 x 1.8 cm / 普通級博客來 - 數字/運算理論與微積分 - 來源網頁看圖書介紹
	$ 11999	A History of the Central Limit Theorem: From Classical to Modern Probability Theory 作者：Fischer,Hans　出版日期：2010-10-21 語言：英文規格：精裝 / 15.9 x 23.5 x 3.2 cm / 普通級/ 譯本博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 720	The Pythagorean Theorem: A 4,000-Year History 作者：Maor,Eli　出版社：Princeton Univ Pr 出版日期：2010-08-15 語言：英文規格：平裝 / 15.2 x 22.9 x 1.9 cm / 普通級博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 6599	Interactive Theorem Proving 作者：Kaufmann　出版社：Springer 出版日期：2010-06-30 語言：英文規格：平裝 / 495頁 / 23.6 x 15.5 x 2.8 cm / 普通級博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 6717	There’s Something about Gdel: The Complete Guide to the Incompleteness Theorem 作者：Berto　出版社：Wiley-Blackwell 出版日期：2009-11-09 語言：英文規格：精裝 / 236頁 / 22.9 x 15.7 x 2.8 cm / 普通級/ 譯本博客來 - 哲學概論 - 來源網頁看圖書介紹
	$ 1917	There’s Something About Godel: The Complete Guide to the Incompleteness Theorem 作者：Berto　出版社：Wiley-Blackwell 出版日期：2009-11-01 語言：英文規格：平裝 / 233頁 / 22.6 x 15 x 2 cm / 普通級/ 譯本博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 3505	The Verification of MDG Algorithms in the HOL Theorem Prover 作者：Abed　出版社：LAP Lambert Academic Publishing 出版日期：2009-10-13 語言：英文規格：平裝 / 160頁 / 22.86 x 15.24 x 0.94 cm / 普通級/ 初版博客來 - 電腦與週邊硬體 - 來源網頁看圖書介紹
	$ 855	The Last Theorem 作者：Clarke,Arthur C./Pohl,Frederik　出版社：Ballantine Books 出版日期：2009-08-18 語言：英文規格：平裝 / 307頁 / 14 x 21.6 x 1.9 cm / 普通級博客來 - 科幻小說 - 來源網頁看圖書介紹
	$ 3299	Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings 出版社：Springer 出版日期：2009-08-04 語言：英文規格：平裝 / 532頁 / 23.37 x 15.49 x 2.54 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 2199	The Algebra of Thought & Reality: A New Operator Formulation for Classical & Quantum Logic Obviating Logic Paradoxes & Godel’s Undecidability Theorem; 作者：Blaha　出版社：Pingree-Hill Publishing 出版日期：2008-12-29 語言：英文規格：平裝 / 152頁 / 22.86 x 15.24 x 0.84 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 267 電子書	The Last Theorem 作者：Arthur C. Clarke,Frederik Pohl　出版社：HarperCollins Publishers 出版日期：2008-12-07 語言：英文樂天KOBO - 太空劇 - 來源網頁
	$ 4039	Probabilistic Analysis Using Theorem Proving 作者：Hasan,Osman/Tahar,Sofiene　出版社：Lightning Source Inc 出版日期：2008-11-06 語言：英文規格：平裝 / 149頁 / 1.315.222.9 cm / 普級 / 單色印刷博客來 - 計算機概論 - 來源網頁看圖書介紹