Aspects of Incompleteness

· Lecture Notes in Logic Книга 10 · Cambridge University Press
Електронна книга
144
Сторінки

Про цю електронну книгу

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lectur...

Подібні книги

Про автора

Per Lindstrm works in the Department of Philosophy at Gteborgs Universitet, Sweden.

Per Lindstrm works in the Department of Philosophy at Gteborgs Universitet, Sweden.

Оцініть цю електронну книгу

Повідомте нас про свої враження.

Як читати

Смартфони та планшети
Установіть додаток Google Play Книги для Android і iPad або iPhone. Він автоматично синхронізується з вашим обліковим записом і дає змогу читати книги в режимах онлайн і офлайн, де б ви не були.
Портативні та настільні комп’ютери
Ви можете слухати аудіокниги, куплені в Google Play, у веб-переглядачі на комп’ютері.
eReader та інші пристрої
Щоб користуватися пристроями для читання електронних книг із технологією E-ink, наприклад Kobo, вам знадобиться завантажити файл і перенести його на відповідний пристрій. Докладні вказівки з перенесення файлів на підтримувані пристрої можна знайти в Довідковому центрі.