Gabbay, Dov M.
Mathematical Problems from Applied Logic II
1. On Two Models of Provability
Sergei Artemov
2. Directions for Computability Theory Beyond Pure Mathematical
John Case
3. Computability and Computable Models
Sergei S. Goncharov
4. First-Order Logic Foundation of Relativity Theories
Judit X. Madarász, István Németi, Gergely Székely
5. Beyond Hybrid Systems
Anil Nerode
6. Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics
Dimiter Vakarelov
DRM-restrictions
Printing: not available
Clipboard copying: not available
Nyckelord: MATHEMATICS / General MAT000000
- Författare
- Gabbay, Dov M.
- Goncharov, Sergei S.
- Zakharyaschev, Michael
- Utgivare
- Springer
- Utgivningsår
- 2007
- Språk
- en
- Utgåva
- 1
- Kategori
- Naturvetenskaper
- Format
- E-bok
- eISBN (PDF)
- 9780387692456