Models, Algebras, and Proofs

Models, Algebras, and Proofs Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá - Lecture Notes in Pure and Applied Mathematics

Paperback (05 Nov 1998)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's 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."

Book information

ISBN: 9780824719708
Publisher: CRC Press
Imprint: CRC Press
Pub date:
DEWEY: 511.3
DEWEY edition: 21
Language: English
Number of pages: 448
Weight: 817g
Height: 279mm
Width: 216mm
Spine width: 22mm