Gabbay, Dov M.
Mathematical Problems from Applied Logic II
Table of contents
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
Keywords: MATHEMATICS / General MAT000000
- Author(s)
- Gabbay, Dov M.
- Goncharov, Sergei S.
- Zakharyaschev, Michael
- Publisher
- Springer
- Publication year
- 2007
- Language
- en
- Edition
- 1
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9780387692456
