1 Table of Contents: “... Probabilities? -- Questions and Their Pragmatic Value -- Prediction, Complexity, and Randomness -- Rules...”

2 Table of Contents: “... transformations and graph transformation units in GRACE -- Pragmatic and semantic aspects of a module concept...”

3 Table of Contents: “... -- 1.4 A Pragmatic Approach -- 1.5 Principles of Mathematical Models -- 1.6 Outline of the Contents -- 2...”

4 “... of type theory. This book provides a pragmatic introduction to the development of proofs and certified...”