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.
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 470 ● ISBN 9781000657302 ● Penyunting Xavier Caicedo & Carlos H. Montenegro ● Penerbit CRC Press ● Diterbitkan 2021 ● Muat turun 3 kali ● Mata wang EUR ● ID 7735318 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM