Xavier Caicedo,
Carlos H. Montenegro,
Zuhair Nashed,
Carlos Montenegro,
Earl Taft
e.a.
CRC Press
1e druk, 1998
9780824719708
Models, Algebras, and Proofs
selected papers of the X Latin American symposium on mathematical logic held in Bogotá
Specificaties
Paperback, 472 blz.
|
Engels
CRC Press |
1e druk, 1998
ISBN13: 9780824719708
Rubricering
Onderdeel van serie
Lecture Notes in Pure and Applied Mathematics
Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
"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."