1 Table of Contents: “... -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem...”

2 Table of Contents: “... -- An operational approach to combining classical set theory and functional programming languages -- ML typing...”