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.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Introduction to Probability Theory

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

HCSB Holman Christian Standard Bible

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

Winning the White House, 2008

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

Aspekte des Wortschatzes

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

Quest of Thig

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

Leviathan

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