Anil Nerode

Anil Nerode is the author of "Logical Foundations of Computer Science", "Recursive Algebra, Analysis and Combinatorics", "Logic for Applications" and "Hybrid Systems II".

Books by Anil Nerode

Principles of Log...
Nerode, Anil
Hardback: $177.00

Logical Foundatio...
Artemov Sergei
Paperback: $84.99

Logic for Applica...
Nerode, Anil
Electronic book text: $99.00

Hybrid Systems II
Antsaklis Panos
Electronic book text: $139.00