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

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

blank
blank
blank
Красота
blank
J. Diller (ed), G. H. Muller (ed) — Lecture Notes in Mathematics. Proof Theory Symposion
J. Diller (ed), G. H. Muller (ed) — Lecture Notes in Mathematics. Proof Theory Symposion



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



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


Название: Lecture Notes in Mathematics. Proof Theory Symposion

Авторы: J. Diller (ed), G. H. Muller (ed)

Аннотация:

Der vorliegende Band "Symposion on Proof Theory" ist ein Teil Proceedings des International Summer Institute and logic Kiel 1974 - ISIIC -, von denen der andere Teil in einem eigenen der lecture Notes erscheint. Die hier gesammelten Arbeiten behandeln Themen aus dem wei- Bereich der Beweistheorie und sind Professor Dr. Kurt Schutte, Munchen, anlaPlich seines 65. Geburtstages gewidmet. Vier von diesen Arbeiten wurden auf dem Symposion liber Beweistheorie zu Ehren von Schutte im Rahmen des ISIIC am 2.8.1974 vorgetragen, weitere Arbeiten wurden in den Sektionen des ISIIC verlesen Oder lagen der Tagung als Abstract vor.


Язык: de

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

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