Cover Image
Read Now

1
by Elgot, Calvin C.
Published 1982
Springer New York
“... problems relating automata and logic, starting with his thesis under Roger Lyndon and continuing with joint...”