Computability and Logic
George S. Boolos-John P. Burgess-Richard C. Jeffrey
Computability and Logic - 5th ed. George S. Boolos, John P. Burgess, Richard C. Jeffrey - Cambridge University Press 2007
9780521877527
Machine Theory
Computable functions.,Logic, Symbolic and mathematical.,Recursive functions.
COMPUTERS
Computability and Logic - 5th ed. George S. Boolos, John P. Burgess, Richard C. Jeffrey - Cambridge University Press 2007
9780521877527
Machine Theory
Computable functions.,Logic, Symbolic and mathematical.,Recursive functions.
COMPUTERS