ENGLISH

Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203

By Caicedo X.

Book information

Year
1998
Language
english
Format
DJVU
Filesize
16 MB (17064131 bytes)
Pages
447\447
Library
mexmat
Time added
2014-10-05 02:30:00

Description

"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 worldwide."

Similar books