Li, Wei
Mathematical Logic
1. Syntax of First-Order Languages
Wei Li
2. Models of First-Order Languages
Wei Li
3. Formal Inference Systems
Wei Li
4. Computability & Representability
Wei Li
5. Gödel Theorems
Wei Li
6. Sequences of Formal Theories
Wei Li
7. Revision Calculus
Wei Li
8. Version Sequences
Wei Li
9. Inductive Inference
Wei Li
10. Workflows for Scientific Discovery
Wei Li
Nyckelord: Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Författare
- Li, Wei
- Utgivare
- Springer
- Utgivningsår
- 2010
- Språk
- en
- Utgåva
- 1
- Serie
- Progress in Computer Science and Applied Logic (PCS)
- Sidantal
- 273 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783764399771