|
|
libcats.org
Logic from Russell to Church, Volume 5 (Handbook of the History of Logic)Dov M. Gabbay, John WoodsThis volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts - set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.
. The entire range of modal logic is covered . Serves as a singular contribution to the intellectual history of the 20th century . Contains the latest scholarly discoveries and interpretative insights
Скачать книгу бесплатно (pdf, 5.01 Mb)
Читать «Logic from Russell to Church, Volume 5 (Handbook of the History of Logic)» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Handbook of Numerical Analysis. Techniques of Scientific Computing (Part 2)Автор: P. G. Ciarlet, Автор: Jacques Louis Lions
Размер книги: 5.55 Mb
Путеводитель по пакету LaTeX и его графическим расширениямАвтор: Гуссенс М., Автор: Ратц С., Автор: Миттельбах Ф. (Goossens, Автор: Rahtz, Автор: Mittelbach)
Размер книги: 11.13 Mb
Параметрическое и непараметрическое оценивание для цепей МарковаАвтор: Веретенников А.Ю.
Размер книги: 1.02 Mb
Down Our Way: The Relevance of Neighbourhoods for Parenting and Child DevelopmentАвтор: Jacqueline Barnes
Размер книги: 3.34 Mb
Kodierungstechniken im Wandel: Das Zusammenspiel von Analytik und Synthese im Gegenwartsdeutschen (Linguistik - Impulse & Tendenzen)Автор: Dagmar Bittner, Автор: Livio Gaeta
Размер книги: 1.98 Mb
Transportation Infrastructure Security Utilizing Intelligent Transportation SystemsАвтор: Ryan Fries, Автор: Mashrur Chowdhury, Автор: Jeffrey Brummond
Размер книги: 13.10 Mb
|
|
|