All ebooks by A. Nerode in PDF
Readzis program recommandation

All ebooks by A. Nerode in PDF


3  Book(s)
Download this eBook Recursive Algebra, Analysis and Combinatorics
Add to my wish list

Recursive Algebra, Analysis and Combinatorics


J.B. Remmel , A. Nerode , S.S. Goncharov , Y.L. Ershov


Recursive Algebra, Analysis and Combinatorics

Publication date: 1998-11-30
Format: PDF DRM-free
Publisher: North Holland
Add to basket
£152,97
Download this eBook Recursive Model Theory
Add to my wish list

Recursive Model Theory


J.B. Remmel , A. Nerode , S.S. Goncharov , Y.L. Ershov


Recursive Model Theory

Publication date: 1998-11-30
Format: PDF DRM-free
Publisher: North Holland
Add to basket
£126,60
Download this eBook Principles of Logic and Logic Programming
Add to my wish list

Principles of Logic and Logic Programming


G. Metakides , A. Nerode


Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed.With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only...

Publication date: 1996-06-13
Format: PDF DRM-free
Publisher: North Holland
Add to basket
£147,70

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés