Spara
Models, Algebras, and Proofs
e-bok, 2021
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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.
- Redaktör
- Xavier Caicedo, Carlos H. Montenegro
- ISBN
- 9781000657302
- Språk
- Engelska
- Utgivningsdatum
- 2021-02-27
- Förlag
- CRC PRESS
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
