Project Page
Index
Table of Contents
Computational Back-and-Forth Arguments
Preliminary Definitions
Abstract Back-and-Forth Argument
Cantor's Isomorphism Theorem
Myhills's Isomorphism Theorem