This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbertâ€™s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.

Author | Richard E. Hodel |

Publisher | Courier Corporation |

Release Date | 2013 |

ISBN | 0486497852 |

Pages | 491 pages |

Rating | 4/5 (53 users) |