Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotá: 203 (Lecture Notes in Pure and Applied Mathematics) - Softcover

Book 134 of 141: Lecture Notes in Pure and Applied Mathematics
 
9780824719708: Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotá: 203 (Lecture Notes in Pure and Applied Mathematics)
Softcover
ISBN 10: 0824719700 ISBN 13: 9780824719708
Publisher: CRC Press, 1998

Synopsis

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

"synopsis" may belong to another edition of this title.

About the Author

Xavier Caicedo, Carlos Montenegro

"About this title" may belong to another edition of this title.

Publisher
CRC Press
Publication date
1998
Language
English
ISBN 10 
0824719700
ISBN 13 
9780824719708
Binding
Paperback
Edition number
1
Number of pages
472
Editor
Caicedo Xavier, Montenegro Carlos H.