Login

Li, Wei

Mathematical Logic

Li, Wei - Mathematical Logic, ebook

62,00€

Ebook, PDF with Adobe DRM
ISBN: 9783764399771
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
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

Similar titles