Mathematical Logic

Wei Li

Publisher:

Birkhäuser

Publication Date:

2014

Number of Pages:

301

Format:

Hardcover

Edition:

Series:

Progress in Computer Science and Applied Logic 25

Price:

79.99

ISBN:

9783034808613

Category:

Textbook

MAA Review
Table of Contents

We do not plan to review this book.

Preface.- Preface to the Second Edition.- I Elements of Mathematical Logic.- 1 Syntax of First-Order Languages.- 2 Models of First-Order Languages.- 3 Formal Inference Systems.- 4 Computability & Representability.- 5 Gödel Theorems.- II Logical Framework of Scientific Discovery.- 6 Sequences of Formal Theories.- 7 Revision Calculus.- 8 Version Sequences.- 9 Inductive Inference.- 10 Meta-Language Environments.- Appendix 1 Sets and Maps.- Appendix 2 Proof of the Representability Theorem.- Bibliography.- Index.

Tags:

Logic