Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>
2006
Краткое содержание:
Экранизация книги

Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>

Автор:
Пахомов Федор Николаевич
Год:
2015
Язык:
Русский
Страниц:
10
Описание:
Пахомов Ф.Н. Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел> / Пахомов Федор Николаевич; [Математический институт им. В.А. Стеклова Российской академии наук]. - Москва, 2015. - 10 с. ; 21 см. - Библиогр.: с. 10 (3 назв.) и в подстроч. примеч.
Рейтинг по отзывам:
4.5
Рубрики:
Примечания:
Библиогр.: с. 10 (3 назв.) и в подстроч. примеч.
ББК:
В12
Дата создания:
2020-09-23 04:22:46
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>
У книги есть аудиоверсия?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Молода гвардія, городская специализированная молодежная библиотека
Киев город со специальным статусом, Київ, Голосіївський район, Паньківщина
Льва Толстого, 49
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
 +380 (44) 288-30-12
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная система детских библиотек г. Шымкента, КГУ
Туркестанская область, Шымкент городская администрация, Шымкент, Абайский район, 112-й квартал м-н
Сырдарьинская, 12
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
 +7 (7252) 36-31-90
Показать номер
Название и адрес
Режим работы
Телефон
Объединение детских библиотек, МБУК
Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 12-й квартал
Автостроителей, 92
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-16:00
Вт: 09:00-16:00
Ср: 09:00-16:00
Чт: 09:00-16:00
Пт: 09:00-16:00
Название и адрес
Режим работы
Телефон
Детская библиотека №7
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Демьяна Бедного, 117а
Расположение на карте
санитарный день: 16 число месяца, последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4932) 56-00-71
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. А.В. Потаниной
Иркутская область, Иркутск городской округ, Иркутск, Октябрьский округ
Трилиссера, 32
Расположение на карте
летний период: пн-чт 11:00-19:00; пт 10:00-18:00; сб-вс выходной; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (3952) 23-93-91 +7 (3952) 23-93-89
Показать номер
Название и адрес
Режим работы
Телефон
Кабаковская сельская библиотека
Республика Башкортостан, Кармаскалинский район, д. Кабаково
Строителей, 17
Расположение на карте
Вт: 11:00-16:30
Ср: 11:00-16:30
Чт: 11:00-16:30
Пт: 11:00-16:30
Сб: 11:00-16:30
 +7 (34765) 2-36-51
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №10 им. Н. Носова, Невский район
Санкт-Петербург, Санкт-Петербург, Невский район, МО №53 "Народный"
Октябрьская набережная, 70 к1
Расположение на карте
санитарный день: последний чт месяца
Пн: 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 (812) 446-91-88
Показать номер
Название и адрес
Режим работы
Телефон
Семёновская, библиотека
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №4 "Семёновский"
Московский проспект, 50
Расположение на карте
июнь-август: пн-пт 9:00-20:00; сб выходной
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
 +7 (812) 316-47-27
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Советское
Алтайский край, Советский район, с. Советское
Кармацкого переулок, 15
Расположение на карте
летний период: пн-пт 9:00-17:00, перерыв: 13:00-14:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 10:00-13:00
 +7 (38598) 2-25-37
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, ст. Высокая Гора
Республика Татарстан, Высокогорский район, пос. ж/д ст. Высокая Гора
Чернышевского, 5
Расположение на карте
сентябрь-май - пн-пт 8:00-17:00; вс 8:00-18:00; санитарный день: последний чт месяца
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
 +7 (84365) 2-38-75 +7 (84365) 2-38-74
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Молода гвардія, городская специализированная молодежная библиотека
Киев город со специальным статусом, Київ, Голосіївський район, Паньківщина
Льва Толстого, 49
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
 +380 (44) 288-30-12
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная система детских библиотек г. Шымкента, КГУ
Туркестанская область, Шымкент городская администрация, Шымкент, Абайский район, 112-й квартал м-н
Сырдарьинская, 12
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
 +7 (7252) 36-31-90
Показать номер
Название и адрес
Режим работы
Телефон
Объединение детских библиотек, МБУК
Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 12-й квартал
Автостроителей, 92
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-16:00
Вт: 09:00-16:00
Ср: 09:00-16:00
Чт: 09:00-16:00
Пт: 09:00-16:00
Название и адрес
Режим работы
Телефон
Детская библиотека №7
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Демьяна Бедного, 117а
Расположение на карте
санитарный день: 16 число месяца, последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4932) 56-00-71
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. А.В. Потаниной
Иркутская область, Иркутск городской округ, Иркутск, Октябрьский округ
Трилиссера, 32
Расположение на карте
летний период: пн-чт 11:00-19:00; пт 10:00-18:00; сб-вс выходной; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (3952) 23-93-91 +7 (3952) 23-93-89
Показать номер
Название и адрес
Режим работы
Телефон
Кабаковская сельская библиотека
Республика Башкортостан, Кармаскалинский район, д. Кабаково
Строителей, 17
Расположение на карте
Вт: 11:00-16:30
Ср: 11:00-16:30
Чт: 11:00-16:30
Пт: 11:00-16:30
Сб: 11:00-16:30
 +7 (34765) 2-36-51
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №10 им. Н. Носова, Невский район
Санкт-Петербург, Санкт-Петербург, Невский район, МО №53 "Народный"
Октябрьская набережная, 70 к1
Расположение на карте
санитарный день: последний чт месяца
Пн: 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 (812) 446-91-88
Показать номер
Название и адрес
Режим работы
Телефон
Семёновская, библиотека
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №4 "Семёновский"
Московский проспект, 50
Расположение на карте
июнь-август: пн-пт 9:00-20:00; сб выходной
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
 +7 (812) 316-47-27
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Советское
Алтайский край, Советский район, с. Советское
Кармацкого переулок, 15
Расположение на карте
летний период: пн-пт 9:00-17:00, перерыв: 13:00-14:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 10:00-13:00
 +7 (38598) 2-25-37
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, ст. Высокая Гора
Республика Татарстан, Высокогорский район, пос. ж/д ст. Высокая Гора
Чернышевского, 5
Расположение на карте
сентябрь-май - пн-пт 8:00-17:00; вс 8:00-18:00; санитарный день: последний чт месяца
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
 +7 (84365) 2-38-75 +7 (84365) 2-38-74
Показать номер
Прикрепить файл
Вы недавно смотрели