1 Table of Contents: “... Theory of Information -- Melancholic Epistemology -- Human Understanding -- Epilogue -- Framing the Frame...”

2 Table of Contents: “... Epistemology -- 8. Program Verification: The Very Idea -- 9. Philosophical Aspects of Program Verification...”

3 “..., and epistemological aspects of these prob­ lems and domains, empirical, experimental, and methodological studies...”

4 “... and epistemologi­ cal aspects of these problems and domains, empirical, experimental and methodological studies...”