1 “... into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what...”

2 Table of Contents: “... data types II computation on ADTs as ordinary computation -- A primitive recursive set theory and AFA...”