Mon premier blog

Computability and Logic George S. Boolos, John P. Burgess, Richard C. Jeffrey
Publisher: Cambridge University Press

My review of Computability and Logic: 5th Edition. George Boolos, John Burgess, Richard Jeffrey, Computability and Logic (CUP 5th edn. By Boolos, Jeffrey and Burgess, here. Jeffrey Language: English Page: 297. Publisher: Cambridge University Press. ISBN: 0521234794, 9780521234795. Logicians invented the notion of general computation (Church's lambda calculus, Goedel's general recursive functions), and anybody learning logic simply has to know the fundamentals of computability theory. John Burgess, the only surviving author has an errata page. Computability and Logic George Boolos, Richard C. Jeffrey Publisher: Cambridge University Press. This is the latest edition of an absolute classic.