Li, Wei
Mathematical Logic
Table of contents
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
Keywords: Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Author(s)
- Li, Wei
- Publisher
- Springer
- Publication year
- 2010
- Language
- en
- Edition
- 1
- Series
- Progress in Computer Science and Applied Logic (PCS)
- Page amount
- 273 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783764399771
