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