Models, Algebras, and Proofs

Models, Algebras, and Proofs

Autor: Xavier Caicedo, Carlos Montenegro
Wydawca: CRC Press
Wydanie: 1
Data publikacji: 2021
ISBN: 0824719700

Kup książkę

0

Zapłać z Klarna
14-dniowa gwarancja zwrotu pieniędzy
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.

Może Ci się spodobać

Kup książkę0