Models, Algebras, and Proofs EPUB
Edited by Xavier Caicedo, Carlos Montenegro
Part of the Lecture Notes in Pure and Applied Mathematics series
EPUB
- Information
Description
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.
Information
-
Download Now
- Format:EPUB
- Pages:470 pages
- Publisher:Taylor & Francis Ltd
- Publication Date:27/02/2021
- Category:
- ISBN:9781000673029
Information
-
Download Now
- Format:EPUB
- Pages:470 pages
- Publisher:Taylor & Francis Ltd
- Publication Date:27/02/2021
- Category:
- ISBN:9781000673029
