Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
Published 2018
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

2
by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001
Birkhäuser
Table of Contents: “... -- 2 Finite Automata -- 2.1 Two Examples -- 2.2 Finite Automata -- 2.3 Closure Properties -- 2.4...”