Logic Colloquium

的圖書，這是第 2 頁

	$ 4200	Sets and Proofs: Invited Papers from Logic Colloquium ’97, European Meeting of the Association for Symbolic Logic, Leeds, July 作者：Logic Colloquium/Cooper　出版社：Cambridge University Press 出版日期：1999-08-13 語言：英文規格：平裝 / 448頁 / 23.1 x 16 x 2.3 cm / 普通級/ 初版博客來 - 集合 - 來源網頁看圖書介紹
	$ 5450	Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc’97, Vienna, Austria, August 25-29, 1997 : P Roceedings 作者：Gottlob　出版社：Springer 出版日期：1997-08-13 語言：英文規格：平裝 / 355頁 / 23.4 x 15.5 x 2 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 3299	Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, Kgc’’93, Brno, Czech Republic, August 24-27, 1993. Proceedings 出版社：Springer 出版日期：1993-08-13 語言：英文規格：平裝 / 354頁 / 23.39 x 15.6 x 1.98 cm / 普通級/ 初版博客來 - 人工智慧 - 來源網頁看圖書介紹
	$ 6599	The Problem of Reductionism in Science: (Colloquium of the Swiss Society of Logic and Philosophy of Science, Zürich, May 18-19, 1990) 出版社：Springer 出版日期：1991-08-31 語言：英文規格：精裝 / 217頁 / 22.86 x 15.24 x 1.75 cm / 普通級/ 初版博客來 - 知識論 - 來源網頁看圖書介紹
	$ 3540	Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Models and Sets 作者：Muller　出版社：Springer 出版日期：1984-12-01 語言：英文規格：平裝 / 488頁 / 23.4 x 15.5 x 2.5 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 / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 3299	Memorial Colloquium: Logic and Foundations of Science Paris, Institut Henri Poincaré, 19-21 May 1964 作者：Beth(E W)Memorial Colloquim Institut　出版社：Springer 出版日期：1967-01-01 語言：英文規格：平裝 / 137頁 / 22.86 x 15.24 x 0.81 cm / 普通級/ 初版博客來 - 圖書資訊總論 - 來源網頁看圖書介紹