Mathematical Logic: Foundations for Information Science

Mathematical Logic: Foundations for Information Science

by Wei Li

Hardcover(2nd ed. 2014)

Want it by Friday, November 16 Order now and choose Expedited Shipping during checkout.

Product Details

ISBN-13: 9783034808613
Publisher: Springer Basel
Publication date: 11/08/2014
Series: Progress in Computer Science and Applied Logic , #25
Edition description: 2nd ed. 2014
Pages: 301
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

About the Author

Wei Li is Professor at the School of Computer Science and Engineering and Director of the National Laboratory of Software Development Environmentat Beihang University in Beijing, China.

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews