Models, Algebras, and Proofs
-
- ¥34,800
-
- ¥34,800
発行者による作品情報
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.
ジャンル
科学／自然
発売日
2021年
2月27日
言語
EN
英語
ページ数
470
ページ
発行者
CRC Press
販売元
Taylor & Francis Group
サイズ
229.1
MB