Saxo Access
Indkøbskurv
  3. Models, Algebras, and Proofs
Models, Algebras, and Proofs (e-bog) af -
Montenegro, Carlos H. (redaktør)

Models, Algebras, and Proofs e-bog

2190,77 DKK (inkl. moms 2738,46 DKK)
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.
E-bog 2190,77 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Montenegro, Carlos H. (redaktør)
Forlag CRC Press
Udgivet 27 februar 2021
Længde 470 sider
Genrer Mathematics
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9781000657302

Beskrivelse

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.