This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.This fifth edition of a#39;Computability and Logica#39; covers not just the staple topics of an intermediate logic course such as Godela#39;s incompleteness theorems, but also optional topics that include Turinga#39;s theory of computability and Ramseya#39;s ...

Title | : | Computability and Logic |

Author | : | George S. Boolos, John P. Burgess, Richard C. Jeffrey |

Publisher | : | Cambridge University Press - 2007-09-17 |

Continue