Next:
Background
Up:
Formalizing Automata Theory I:
Previous:
Contents
Introduction
Background
Value of the Formalization
Interpretations of the Mathematics
Outline
