Bokus
Carlos H. Montenegro, Xavier Caicedo - Models, Algebras, and Proofs, E-bok

E-bok, Engelska, 2021

Models, Algebras, and Proofs

Av Carlos H. Montenegro, Xavier Caicedo

3558 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
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.
Produktinformation
  • Utgivningsdatum: 2021-02-27
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9781000657302
  • Förlag: CRC Press
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.