Finite Automata in Hereditarily Finite Set Theory

Sorry, there's nothing here.

Cite this paper

@article{Paulson2015FiniteAI, title={Finite Automata in Hereditarily Finite Set Theory}, author={Lawrence C. Paulson}, journal={Archive of Formal Proofs}, year={2015}, volume={2015} }