A. Nerode
5 known books
newest first
No author bio imported yet.
Books
OpenLibrary works by this author.
Combinatorial Functors
Combinatorial Functors
Year unknown
J. N. Crossley and A. Nerode
Logic and Computer Science
Logic and Computer Science
Year unknown
Steven Homer, R. A. Platek, A. Scedrov, A. Nerode, and Gerald E. Sacks
Principles of Logic and Logic Pro...
Principles of Logic and Logic Programming
Year unknown
G. Metakides and A. Nerode
Recursive Algebra, Analysis and C...
Recursive Algebra, Analysis and Combinatorics
Year unknown
Y. L. Ershov, A. Nerode, S. S. Goncharov, and J. B. Remmel
Recursive Model Theory
Recursive Model Theory
Year unknown
Y. L. Ershov, A. Nerode, S. S. Goncharov, and J. B. Remmel
Fetched from OpenLibrary. Some translations may appear as separate works.