Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности
1651

Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности

Автор:
Проскуряков М. Н.
Год:
2012
Язык:
Русский
Описание:
Проскуряков М. Н. Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности / Проскуряков М.Н. - Москва : Репро Галерея, 2012. - 7, [1] с. ; 20 см. - Библиогр. в конце кн. (5 назв.)
Рейтинг по отзывам:
5
Рубрики:
Исчисление высказываний → Теория доказательств
Примечания:
Библиогр. в конце кн. (5 назв.)
Дата создания:
2019-10-19 13:19:36
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности
Она написана малоизвестным автором?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Проскуряков М. Н.
О парадоксах теории относительности и гиперболической плоскости (комментарии к последнему обзору)
Взаимные преобразования расстояний на гиперболической плоскости
Особенности преобразований метрик гиперболической плоскости
Проблема Римана и постулат Евклида
Двадцативековая проблема доказательства постулата Евклида
Проблема доказательства трехмерности евклидового пространства
О геометрических и аналитических доказательствах единственности суммы углов треугольника
Название и адрес
Режим работы
Телефон
Городская модельная казахская библиотека
Акмолинская область, Кокшетау городская администрация, Кокшетау
Акан Серэ, 89
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-18:00
 +7 (7162) 25-77-43
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Казыбек Би район, Степной 1 м-н
Степной 1-й микрорайон, 45
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 31-88-42
Показать номер
Название и адрес
Режим работы
Телефон
Козловская библиотека перемышльской ЦБС
Калужская область, Калуга городской округ, Калуга
Большие Козлы д, 17Б
Расположение на карте
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
Название и адрес
Режим работы
Телефон
Библиотека №50
Москва, Москва, Марьина Роща район
Октябрьская, 103 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 123-65-72
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. М.Ю. Лермонтова
Орловская область, Орёл городской округ, Орёл, Советский район
Андрианова, 5
Расположение на карте
зимний период: пн, ср-пт 11:00-19:00; сб-вс 10:00-18:00; пн выходной; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (4862) 42-35-37
Показать номер
Название и адрес
Режим работы
Телефон
Городская детская библиотека
Архангельская область, Новодвинск городской округ, Новодвинск
50-летия Октября, 43 к1
Расположение на карте
зимний период: пн-чт 10:00-18:00; пт, вс 10:00-17:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-16:00
 +7 (81852) 4-25-54
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека, г. Богородск
Нижегородская область, Богородский район, Богородск
Ленина, 202
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 08:00-16:00
Вс: 09:00-17:00
 +7 (83170) 2-10-19
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система г. Бердска
Новосибирская область, Бердск городской округ, Бердск
Карла Маркса, 62
Расположение на карте
июнь-август: пн-пт 8:00-17:00, перерыв: 12:00-13:00; сб выходной; нерабочий день: последняя пт месяца
Вт: 09:00-12:00 13:00-18:00
Ср: 09:00-12:00 13:00-18:00
Чт: 09:00-12:00 13:00-18:00
Пт: 09:00-12:00 13:00-18:00
Сб: 10:00-12:00 13:00-17:00
 +7 (38341) 5-03-04
Показать номер
Название и адрес
Режим работы
Телефон
Республиканская детско-юношеская библиотека
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ
Победы проспект, 5
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-18:00
 +7 (3012) 21-46-72 +7 (3012) 21-42-36
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №9 им. М.М. и Е.П. Нарышкиных
Забайкальский край, Чита городской округ, Чита, Ингодинский район
Селенгинская, 12а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
 +7 (3022) 36-45-36
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Музична Україна, издательский дом
Киев город со специальным статусом, Київ, Шевченківський район
Пушкінська, 32а
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Название и адрес
Режим работы
Телефон
Montessori, магазин
Киев город со специальным статусом, Київ, Солом'янський район, Шулявка
Гетьмана Вадима, 6
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 +380 67-830-53-36 +380 95-225-82-44
Показать номер
Название и адрес
Режим работы
Телефон
Чадо Радо, детский магазин
Ярославская область, Ярославский район, Ярославль, Заволжский район
Доброхотова проезд, 3
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (4852) 68-10-63 +7-920-113-02-84
Показать номер
Название и адрес
Режим работы
Телефон
М-Сервис, МУП, книжный магазин, г. Дзержинск
Нижегородская область, Дзержинск городской округ, Дзержинск
Галкина, 13
Расположение на карте
Пн: 10:00-18:30
Вт: 10:00-18:30
Ср: 10:00-18:30
Чт: 10:00-18:30
Пт: 10:00-18:30
Сб: 10:00-17:30
Вс: 10:00-17:30
 +7 (8313) 32-04-26 +7 (8313) 33-06-44
Показать номер
Название и адрес
Режим работы
Телефон
Канцторг, сеть магазинов канцтоваров
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Нижегородский район, Верхние Печёры
Верхне-Печёрская, 5
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 11:00-17:00
 +7-920-056-01-31
Показать номер
Название и адрес
Режим работы
Телефон
Книжный Дом, магазин книг и канцелярских товаров
Ульяновская область, Ульяновск городской округ, Ульяновск, Заволжский район, Новый Город м-н, г. Ульяновск, Ульяновский район, Ульяновская область, Россия,
Ленинского Комсомола проспект, 18
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
 +7 (8422) 54-57-61
Показать номер
Название и адрес
Режим работы
Телефон
Лабиринт, интернет-магазин
Волгоградская область, Волжский городской округ, Волжский
Александрова, 9а
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
Название и адрес
Режим работы
Телефон
Ивкнига, магазин
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Кудряшова, 98
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-16:30
 +7 (4932) 56-20-77
Показать номер
Название и адрес
Режим работы
Телефон
Умница, магазин развивающих товаров для детей
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №2 "Сенной"
Ефимова, 3
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 +7-911-261-28-19 +7-931-970-16-48
Показать номер
Название и адрес
Режим работы
Телефон
АВ, книжный магазин
Санкт-Петербург, Санкт-Петербург, Невский район, МО №49 "Невская застава"
Обуховской Обороны проспект, 105
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Прикрепить файл