
The Logic of Provability
George S. Boolos, Boolos George S.
₹3,881

by George S. Boolos, John P. Burgess, Richard C. Jeffrey
Cambridge University Press · 2007 · Hardcover
Free delivery. Nothing extra to pay at checkout.
Published by Cambridge University Press in 2007, Computability and Logic by George S. Boolos, John P. Burgess & others runs to 364 pages in hardcover. The original work dates from 1974.
Its main subjects are Computable functions, Recursive functions, Symbolic and mathematical Logic and Mathematical foundations.