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.