Author

A. Nerode

9 books found

Cover of Recursive Algebra, Analysis and Combinatorics

Recursive Algebra, Analysis and Combinatorics

Y. L. Ershov, A. Nerode, S. S. Goncharov, J. B. Remmel · First published 1998

Cover of Recursive Model Theory

Recursive Model Theory

Y. L. Ershov, A. Nerode, S. S. Goncharov, J. B. Remmel · First published 1998

Cover of Principles of Logic and Logic Programming

Principles of Logic and Logic Programming

G. Metakides, A. Nerode · First published 1996

Cover of Logical methods

Logical methods

Anil Nerode, John N. Crossley · First published 1993

Cover of Logic for Applications

Logic for Applications

Anil Nerode · First published 1993

Cover of Logical foundations of computer science--Tver '92

Logical foundations of computer science--Tver '92

Anil Nerode · First published 1992

Cover of Logic and Computer Science

Logic and Computer Science

Steven Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks · First published 1990

Cover of Recursion theory

Recursion theory

Anil Nerode, Richard A. Shore · First published 1984

Cover of Combinatorial Functors

Combinatorial Functors

J. N. Crossley, A. Nerode · First published 1973