First-Order Programming Theories by Tamas Gergely (English) Paperback Book
121,97 €
By Tamas Gergely, Laszlo Ury. First-Order Programming Theories. Mathematical Background. Logic and Model Theory. Inductive Definability. - I Computability. Introduction to Part I.- 4. Main Properties of Program Schemas.
Jetzt bei Ebay: