Computability and logic
Boolos, George S.,
Computability and logic by George S. Boolos - 5th ed. - New York Cambridge University Press 2007 - 350 p,: ill.,; 26 cm. - - .
Includes bibliographical references and index
9780521701464 =
General principles of mathematics Computable functions Recursive functions Logic Information technology Computer science
/
511.352 BOO
Computability and logic by George S. Boolos - 5th ed. - New York Cambridge University Press 2007 - 350 p,: ill.,; 26 cm. - - .
Includes bibliographical references and index
9780521701464 =
General principles of mathematics Computable functions Recursive functions Logic Information technology Computer science
/
511.352 BOO