Проблема отделимости в пропозициональных исчислениях : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.17
672
Краткое содержание:
Экранизация книги

Проблема отделимости в пропозициональных исчислениях : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.17

Автор:
Хомич Валентин Иванович
Год:
1995
Язык:
Русский
Страниц:
27
Описание:
Хомич, Валентин Иванович. Проблема отделимости в пропозициональных исчислениях : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.17 / ВЦ. - М., 1995. - 27 с. - Библиогр.: с. 23-27
Рейтинг по отзывам:
4.5
Рубрики:
Математическая логика → Исчисление пропорциональное
Примечания:
Библиогр.: с. 23-27
Дата создания:
2021-12-31 13:48:53
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Проблема отделимости в пропозициональных исчислениях : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.17
книга имеет отношение к сектам?
Да.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Бібліотека ім. О. Вишні
Киев город со специальным статусом, Київ, Печерський район, Печерськ
Михайла Грушевського, 9
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +380 (44) 253-15-48
Показать номер
Название и адрес
Режим работы
Телефон
Илийская районная библиотека акима Илийского района
Алматинская область, Илийский район, пос. Отеген Батыра
Титова, 24
Расположение на карте
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
 +7 (72752) 2-98-64
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №4 им. М. Горького
Актюбинская область, Актобе городская администрация, Актобе, Спутник м-н
Маресьева, 75
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (7132) 54-44-75
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека г. Павлодара
Павлодарская область, с. Мойылды
Центральная, 5
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-15:00
 +7 (7182) 35-66-48
Показать номер
Название и адрес
Режим работы
Телефон
ЦС Звёздочка, ОАО, справочно-информационный фонд
Архангельская область, Северодвинск городской округ, Северодвинск, Ягры
Адмирала Нахимова, 4
Расположение на карте
Пн: 10:00-18:15
Вт: 10:00-18:15
Ср: 10:00-18:15
Чт: 10:00-18:15
Пт: 10:00-18:00
 +7 (8184) 52-68-40
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система, МУК
Ярославская область, Ярославский район, Ярославль, Ленинский район, Пятёрка
Чкалова, 40
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (4852) 72-28-23
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека семейного чтения им. В. Дубинина
Новосибирская область, Новосибирск городской округ, Новосибирск, Первомайский район
Первомайская, 114
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
 +7 (383) 338-34-33
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. Л. Кассиля
Новосибирская область, Новосибирск городской округ, Новосибирск, Калининский район, Пашино м-н
Новоуральская, 33
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-16:00
 +7 (383) 274-76-00
Показать номер
Название и адрес
Режим работы
Телефон
Пороховская, библиотека для семейного чтения
Санкт-Петербург, Санкт-Петербург, Красногвардейский район, МО №36 "Ржевка"
Лазо, 8
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 10:00-18:00
 +7 (812) 527-51-93 +7 (812) 526-72-54
Показать номер
Название и адрес
Режим работы
Телефон
Ставропольский краевой музей изобразительных искусств
Ставропольский край, Ставрополь городской округ, Ставрополь, Октябрьский район, 11-й микрорайон
Дзержинского, 115
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Бібліотека ім. О. Вишні
Киев город со специальным статусом, Київ, Печерський район, Печерськ
Михайла Грушевського, 9
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +380 (44) 253-15-48
Показать номер
Название и адрес
Режим работы
Телефон
Илийская районная библиотека акима Илийского района
Алматинская область, Илийский район, пос. Отеген Батыра
Титова, 24
Расположение на карте
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
 +7 (72752) 2-98-64
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №4 им. М. Горького
Актюбинская область, Актобе городская администрация, Актобе, Спутник м-н
Маресьева, 75
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (7132) 54-44-75
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека г. Павлодара
Павлодарская область, с. Мойылды
Центральная, 5
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-15:00
 +7 (7182) 35-66-48
Показать номер
Название и адрес
Режим работы
Телефон
ЦС Звёздочка, ОАО, справочно-информационный фонд
Архангельская область, Северодвинск городской округ, Северодвинск, Ягры
Адмирала Нахимова, 4
Расположение на карте
Пн: 10:00-18:15
Вт: 10:00-18:15
Ср: 10:00-18:15
Чт: 10:00-18:15
Пт: 10:00-18:00
 +7 (8184) 52-68-40
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система, МУК
Ярославская область, Ярославский район, Ярославль, Ленинский район, Пятёрка
Чкалова, 40
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (4852) 72-28-23
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека семейного чтения им. В. Дубинина
Новосибирская область, Новосибирск городской округ, Новосибирск, Первомайский район
Первомайская, 114
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
 +7 (383) 338-34-33
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. Л. Кассиля
Новосибирская область, Новосибирск городской округ, Новосибирск, Калининский район, Пашино м-н
Новоуральская, 33
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-16:00
 +7 (383) 274-76-00
Показать номер
Название и адрес
Режим работы
Телефон
Пороховская, библиотека для семейного чтения
Санкт-Петербург, Санкт-Петербург, Красногвардейский район, МО №36 "Ржевка"
Лазо, 8
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 10:00-18:00
 +7 (812) 527-51-93 +7 (812) 526-72-54
Показать номер
Название и адрес
Режим работы
Телефон
Ставропольский краевой музей изобразительных искусств
Ставропольский край, Ставрополь городской округ, Ставрополь, Октябрьский район, 11-й микрорайон
Дзержинского, 115
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
Прикрепить файл