|
![]() |
|||
|
||||
OverviewThis thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Gödel and others on incompleteness, (non) finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory. Full Product DetailsAuthor: Per LindströmPublisher: Taylor & Francis Inc Imprint: A K Peters Volume: No. 10 ISBN: 9781568811734ISBN 10: 156881173 Pages: 176 Publication Date: 07 October 2003 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Out of Stock Indefinitely Availability: Awaiting stock ![]() Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |