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.
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato EPUB ● Pagine 470 ● ISBN 9781000673029 ● Editore Xavier Caicedo & Carlos H. Montenegro ● Casa editrice CRC Press ● Pubblicato 2021 ● Scaricabile 3 volte ● Moneta EUR ● ID 7735330 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM