Models, Algebras, and Proofs

Models, Algebras, and Proofs

Tekijä: Xavier Caicedo, Carlos Montenegro
Kustantaja: CRC Press
Painos: 1
Julkaisuvuosi: 2021
ISBN: 0824719700

Osta kirja

0

Maksa Klarnalla
14 päivän palautusoikeus
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.

Saatat pitää myös näistä

Osta kirja0