|
libcats.org
Andrzej Mostowski and foundational studiesA. Ehrenfeucht, V.W. Marek, M. SrebrnyAndrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of the foundations of mathematics. The complete detailed bibliography of Mostowski's writings is included. For many years after WWII and especially in the late sixties and until his untimely death in 1975, Warsaw, where he led the centre of foundational studies, was a place where many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski.
Anyone wanting to see the roots of current applications of logic, be it in mathematics, computer science or philosophy, will find in this collection of articles plenty of helpful, stimulating and inspiring material both in science and about the social environment in which science is made. IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#2
В.Бекетов, К.Харченко. Измерения и испытания при конструировании и регулировке радиолюбительских антенн (djvu)
4.82 Mb
#4
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
Только что пользователи скачали эти книги:
#3
Пресс-формы для порошковой металлургии. Расчет и конструированиеРадомысельский И. Д., Печентковский Е. Л., Сердюк Г. Г.
4.12 Mb
#4
Проектирование металлорежущих станков и станочных систем. Расчет и конструирование узлов и элементов станков. Справочник-учебник в трех томахАвторы: А.С.Проников, Е.И.Борисов, В.В.Бушуев и др. Под общей редакцией А.С.Проникова.
6.98 Mb
#5
Проектирование металлорежущих станков и станочных систем. Том 2. Часть 2. Расчет и конструирование узлов и элементов станков. Справочник-учебник в трех томахАвторы: А.С.Проников, Е.И.Борисов, В.В.Бушуев и др. Под общей редакцией А.С.Проникова.
6.26 Mb
#7
Расчет и конструирование ультразвуковых сварочных машин. ОбзорЖигулёв Н.И. (ред.)Категория: Технология
2.28 Mb
#8
Основы расчета и конструирования деталей машин. Кинематический расчет привода. Методические указания к выполнению курсового проекта по дисциплинам «Детали машин» и «Детали машин и основы конструирования» для студентов (курсантов) специальностей 170600 «МаЛебедева А.П.
970 Kb
|
|