proof

的圖書，這是第 127 頁

	$ 8500	Proof and Knowledge in Mathematics 作者：Detlefsen　出版社：Routledge 出版日期：1992-01-02 語言：英文規格：精裝 / 268頁 / 22.9 x 15.2 x 2 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 3299	A Proof Theory for General Unification 作者：Snyder　出版社：Birkhauser 出版日期：1991-11-01 語言：英文規格：精裝 / 178頁 / 23.39 x 15.6 x 1.27 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 673	Fish Florida Saltwater: Better Than Luck--The Foolproof Guide to Florida Saltwater Fishing 作者：Arnov,Boris　出版社：Natl Book Network 出版日期：1991-10-01 語言：英文規格：平裝 / 15.9 x 22.9 x 1.3 cm / 普通級博客來 - 美國 - 來源網頁看圖書介紹
	$ 6599	The Programming and Proof System Ates: Advanced Techniques Integration Into Efficient Scientific Software 出版社：Springer 出版日期：1991-07-24 語言：英文規格：平裝 / 341頁 / 24.41 x 16.99 x 1.85 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Graph-Based Proof Procedures for Horn Clauses 作者：Raatz　出版社：Birkhauser 出版日期：1990-12-01 語言：英文規格：平裝 / 150頁 / 23.39 x 15.6 x 0.86 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3850	Logic and Computation: Interactive Proof With Cambridge Lcf 作者：Paulson　出版社：Cambridge University Press 出版日期：1990-07-27 語言：英文規格：平裝 / 320頁 / 24.1 x 17 x 1.5 cm / 普通級/ 初版博客來 - 應用軟體與開發工程 - 來源網頁看圖書介紹
	$ 3299	Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship 作者：Zwiers　出版社：Springer 出版日期：1989-02-22 語言：英文規格：平裝 / 276頁 / 23.39 x 15.6 x 1.52 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 6599	Proof of Therapeutical Effectiveness of Nootropic and Vasoactive Drugs: Advances in Clinical and Experimental Nicergoline Research 譯者：Wirth,Dora　出版社：Springer 出版日期：1985-11-01 語言：英文規格：平裝 / 258頁 / 24.41 x 16.99 x 1.45 cm / 普通級/ 初版博客來 - 醫學檢驗暨生物技術學 - 來源網頁看圖書介紹
	$ 3540	Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory 出版社：Springer 出版日期：1984-12-01 語言：英文規格：平裝 / 482頁 / 23.39 x 15.6 x 2.49 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 416	Evidence and Proof in Arbitration 作者：Scheinman　出版社：Ilr Press Book 出版日期：1977-09-15 語言：英文規格：平裝 / 48頁 / 20.29 x 12.7 x 0.28 cm / 普通級/ 初版博客來 - 勞動就業法 - 來源網頁看圖書介紹
	$ 3300	Some Problems of Proof Under the Anglo-American System of Litigation 作者：Morgan　出版社：Praeger 出版日期：1976-03-16 語言：英文規格：精裝 / 207頁 / 22.9 x 15.2 x 1.5 cm / 普通級博客來 - 民法 - 來源網頁看圖書介紹
	$ 1595	Anselm: Fides Quaerens Intellectum: Anselm’s Proof of the Existence of God in the Context of His Theological Scheme 作者：Barth　出版社：Pickwick Publications 出版日期：1975-01-01 語言：英文規格：平裝 / 180頁 / 21.6 x 14 x 1 cm / 普通級/ 初版博客來 - 基督教會總論 - 來源網頁看圖書介紹