This book presents some of the main areas and results of general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers.
"synopsis" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.5. Seller Inventory # G3540632131I2N00
Quantity: 1 available
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 135 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41793945/202
Quantity: 1 available
Seller: Half Moon Books, High Falls, NY, U.S.A.
Paperback. Condition: Very Good. Spine is completely sun bleached and cover show some light scuffing. Seller Inventory # mon0000002759
Quantity: 1 available