A. Nerode
A. Nerode
ספרים
ספרים משותפים ואוספים
ספרים שבהם A. Nerode מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Combinatorial FunctorsJ. N. Crossley
Combinatorial Functors
J. N. Crossley · 2012
Recursive Algebra, Analysis and CombinatoricsY. L. Ershov
Recursive Algebra, Analysis and Combinatorics
Y. L. Ershov · 1998
Recursive Model TheoryY. L. Ershov
Recursive Model Theory
Y. L. Ershov · 1998
Principles of Logic and Logic ProgrammingG. Metakides
Principles of Logic and Logic Programming
G. Metakides · 1996
Logic and Computer ScienceSteven Homer
Logic and Computer Science
Steven Homer · 1990