Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota

Free Download

Authors:

Edition: 1

Series: Lecture notes in pure and applied mathematics 203

ISBN: 0824719700, 9780824719708, 9780585330501

Size: 4 MB (4082638 bytes)

Pages: 447/447

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Xavier Caicedo, Carlos Montenegro0824719700, 9780824719708, 9780585330501

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.

Reviews

There are no reviews yet.

Be the first to review “Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota”

Related products

Shopping Cart
Scroll to Top