| Models, Algebras, and Proofs Contributor(s): Caicedo, Xavier (Editor), Montenegro, Carlos (Editor) |
|
 |
ISBN: 0824719700 ISBN-13: 9780824719708 Publisher: CRC Press OUR PRICE: $228.00 Product Type: Paperback - Other Formats Published: November 1998 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 worldwide." |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Mathematics | Applied - Mathematics | Algebra - General |
| Dewey: 511.3 |
| LCCN: 98045734 |
| Series: Lecture Notes in Pure and Applied Mathematics |
| Physical Information: 0.85" H x 7.02" W x 9.88" (1.80 lbs) 472 pages |