
The Logic of Provability
George S. Boolos
₹2,921

by George S. Boolos, John P. Burgess, Richard C. Jeffrey
Cambridge University Press · 2002
Free delivery. Nothing extra to pay at checkout.
Computability and Logic is written by George S. Boolos, John P. Burgess & others. This edition from Cambridge University Press (2002) has 368 pages. The work was first published in 1974.
Its main subjects are Computable functions, Recursive functions, Symbolic and mathematical Logic and Mathematical foundations.