Rutor торрент трекер file_download
Скачать торренты бесплатно и без регистрации! База magnet-ссылок Rutor.Download
Лучшие торренты Популярные фильмы Популярные сериалы Популярная музыка

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.

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

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