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.
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● страницы 470 ● ISBN 9781000657302 ● редактор Xavier Caicedo & Carlos H. Montenegro ● издатель CRC Press ● опубликованный 2021 ● Загружаемые 3 раз ● валюта EUR ● Код товара 7735318 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM