proof

的圖書，這是第 110 頁

	$ 10199	The Semantics and Proof Theory of the Logic of Bunched Implications 作者：Pym　出版社：Springer 出版日期：2010-12-04 語言：英文規格：平裝 / 290頁 / 23.39 x 15.6 x 1.8 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 6599	Hybrid Logic and Its Proof-Theory 作者：Brauner　出版社：Springer 出版日期：2010-11-30 語言：英文規格：精裝 / 231頁 / 23.9 x 16.5 x 2 cm / 普通級博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 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 / 普通級博客來 - 數字/運算理論與微積分 - 來源網頁看圖書介紹
	$ 712	No Kneed Homemade Crusty French Bread: Easy, Failure Proof Instructions for Making Homemade French Bread. Perfect & Delicious Ev 作者：Brandy　出版社：Createspace Independent Publishing Platform 出版日期：2010-11-24 語言：英文規格：平裝 / 42頁 / 25.4 x 20.3 x 0.3 cm / 普通級博客來 - 料理方法 - 來源網頁看圖書介紹
	$ 822	Recession-Proof Billionaire: Financial Flak Jacket and Flight Plan 作者：Benson　出版社：Lulu.com 出版日期：2010-11-23 語言：英文規格：平裝 / 120頁 / 17.78 x 10.8 x 0.64 cm / 普通級/ 初版博客來 - 商業理論與工具書 - 來源網頁看圖書介紹
	$ 10199	Abstraction, Refinement and Proof for Probabilistic Systems 作者：McIver　出版社：Springer 出版日期：2010-11-19 語言：英文規格：平裝 / 388頁 / 23.39 x 15.6 x 2.11 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 1097	Scrappy Business Contingency Planning: How to Bullet-Proof Your Business and Laugh at Volcanoes, Tornadoes, Locust Plagues, and Hard Drive Crashes 作者：Seese　出版社：Happy about 出版日期：2010-11-18 語言：英文規格：平裝 / 170頁 / 21.59 x 13.97 x 0.91 cm / 普通級/ 初版博客來 - 系統管理 - 來源網頁看圖書介紹
	$ 189 電子書	Proof of Loss 作者：Herman Meadows　出版社：iUniverse 出版日期：2010-10-29 語言：英文樂天KOBO - 工業與專業 - 來源網頁看圖書介紹
	$ 3299	Mathematics and Politics: Strategy, Voting, Power, and Proof 作者：Taylor　出版社：Springer 出版日期：2010-10-29 語言：英文規格：平裝 / 364頁 / 23.4 x 15.5 x 2 cm / 普通級博客來 - 機率與數理統計 - 來源網頁看圖書介紹
	$ 378	Proof of Loss: A Quick Guide to Processing Insurance Claim for Insured with Their Adjuster 作者：Meadows　出版社：iUniverse 出版日期：2010-10-26 語言：英文規格：平裝 / 64頁 / 21.6 x 14 x 0.3 cm / 普通級博客來 - 銀行 - 來源網頁看圖書介紹
	$ 7799	Proof Theory for Fuzzy Logics 作者：Metcalfe　出版社：Springer 出版日期：2010-10-22 語言：英文規格：平裝 / 276頁 / 23.39 x 15.6 x 1.52 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 6599	Test Pattern Generation Using Boolean Proof Engines 作者：Drechsler　出版社：Springer 出版日期：2010-10-19 語言：英文規格：平裝 / 192頁 / 23.39 x 15.6 x 1.12 cm / 普通級/ 初版博客來 - 微電子 - 來源網頁看圖書介紹