《Models, Algebras, and Proofs》是1998年出版的一本圖書，作者是Caicedo, Caicedo; Caicedo, Xavier; Montenegro, Carlos H.
基本介紹
- 外文名：Models, Algebras, and Proofs
- 作者：Caicedo, Caicedo; Caicedo, Xavier; Montenegro, Carlos H.
- 出版時間：1998年11月
- 頁數：472 頁
- ISBN：9780824719708
- 定價：305.04 美元
內容簡介
Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide.
