Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Parikh R. — Logic Colloquium: symposium on logic held at Boston, 1972-73
Parikh R. — Logic Colloquium: symposium on logic held at Boston, 1972-73

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Logic Colloquium: symposium on logic held at Boston, 1972-73

Автор: Parikh R.

Аннотация:

The papers in this volume originated as talks given at the Boston Logic
Colloquium during the year 1972-73. However, some of them contain more recent
developments not originally included in the talks. They are all technical papers
in mathematical logic but with a strong foundational interest. Thus they should
also be of interest to philosophers.
Eleven talks were actually given at the colloquium. However, the talks
by Abraham Robinson and Alexander Yessenin-Volpin were expository and the one
by Ivor Grattan-Guinness was historical. The eleventh talk, by John Myhill,
on constructive set theory, will appear in the Journal of Symbolic Logic.
Funds for the colloquium were provided by the graduate school of Boston
University through the Boston Colloquium for the Philosophy of Science.
The colloquium was a joint effort by many and I am grateful to the
following for their help. George Berry, Robert Cohen, David Ellerman, James
Geiser, llona Webb, Judson Webb, and Marx Wartofsky.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1975

Количество страниц: 255

Добавлена в каталог: 01.05.2017

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте