libcats.org
Главная

Logic, Logic, and Logic

Обложка книги Logic, Logic, and Logic

Logic, Logic, and Logic

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume"
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

L. Timmel Duchamp - De Secretis Mulierum

Автор:
Размер книги: 113 Kb

АукцЫонное

Автор:
Категория: Поэзия

Working Americans, 1880-1999: The Working Class (Working Americans: Volume 1)

Автор:
Категория: История
Размер книги: 61.75 Mb

Recommender Systems Handbook

Автор: , Автор: , Автор: , Автор:
Размер книги: 19.32 Mb

The King's Bastard

Автор:
Категория: fiction
Размер книги: 595 Kb

Everything Beautiful Began After

Автор:
Категория: fiction
Размер книги: 50.84 Mb