Xavier Caicedo & Carlos H. Montenegro 
Models, Algebras, and Proofs [EPUB ebook] 

支持

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.

€231.79
支付方式
购买此电子书可免费获赠一本!
语言 英语 ● 格式 EPUB ● 网页 470 ● ISBN 9781000673029 ● 编辑 Xavier Caicedo & Carlos H. Montenegro ● 出版者 CRC Press ● 发布时间 2021 ● 下载 3 时 ● 货币 EUR ● ID 7735330 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

49,474 此类电子书