Models, Algebras, and Proofs

Models, Algebras, and Proofs

Auteur: Xavier Caicedo, Carlos Montenegro
Éditeur: CRC Press
Édition: 1
Année de publication: 2021
ISBN: 0824719700

Acheter le livre

0

Payer avec Klarna
Garantie satisfait ou remboursé de 14 jours
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.

Tu pourrais aussi aimer

Acheter le livre0