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.
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат EPUB ● Сторінки 470 ● ISBN 9781000673029 ● Редактор Xavier Caicedo & Carlos H. Montenegro ● Видавець CRC Press ● Опубліковано 2021 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 7735330 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM