Models, Algebras, and Proofs
Price for Eshop: 5875 Kč (€ 235.0)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.