Title:-Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal LogicAuthor:-Parkes, Alan P.Format:-PaperbackPublisher:-SpringerPublisher Date:-26 April 2002Pages:-304Genre:-Algorithms & proceduresISBN13:-9781852334642Condition:- BRAND NEW