Büchi J.R., Siefkes D. — Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

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

Büchi J.R., Siefkes D. — Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

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

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

Название: Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Авторы: Büchi J.R., Siefkes D.

Язык:

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

О проекте