Ultramir трекер
Скачать торренты бесплатно и без регистрации! База magnet-ссылок Rutracker
Выбор народа Топ фильмы Топ сериалы Топ музыка

Boolos G. / Булос Д. - The Logic of Provability / Логика доказуемости [1995, PDF, ENG] скачать торрент по magnet-ссылке

The Logic of Provability / Логика доказуемости
Год издания: 1995
Автор: Boolos G. / Булос Д.
Издательство: Cambridge University Press
ISBN: 978-0521483254
Язык: Английский
Формат: PDF
Качество: Отсканированные страницы
Интерактивное оглавление: Нет
Количество страниц: 314
Описание: This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.

Скачать torrent бесплатно

8499 Kb
6 1 Торрент-ссылка
На сайте нет ни одной электронной версии ни одного произведения. На сайте нет torrent-файлов. Сайт — это каталог ссылок, присылаемых и публикуемых пользователями сайта RuTracker. Если вы правообладатель какого-либо представленного материала и не хотите, чтобы ссылка на него размещалась в нашем каталоге, свяжитесь с нами (мыло ниже), и мы незамедлительно удалим ее.
For DMCA requests: mail[at]ultramir.net