Skip to main content alibris logo
Models, Algebras, and Proofs - Caicedo, Xavier (Editor), and Montenegro, Carlos (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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

loading
Models, Algebras, and Proofs 1998, CRC Press, Oxford

ISBN-13: 9780824719708

Annotated

Trade paperback