Алгоритм поиска натурального вывода для интуиционистской логики высказываний : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07
924
Купить
Краткое содержание:
Экранизация книги

Алгоритм поиска натурального вывода для интуиционистской логики высказываний : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07

Автор:
Макаров Валентин Валентинович
Год:
2002
Язык:
Русский
Страниц:
23
Коллекции:
Авторефераты
Описание:
Макаров В. В. Алгоритм поиска натурального вывода для интуиционистской логики высказываний : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07 / Макаров Валентин Валентинович; [МГУ им. М.В. Ломоносова]. - М., 2002. - 23 с. ; 21 см. - Библиогр.: с. 23 (4 назв.) и в подстроч. примеч.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 23 (4 назв.) и в подстроч. примеч.
Скачать:
Просмотр и скачивание в формате PDF
Дата создания:
2021-09-18 11:36:38
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Алгоритм поиска натурального вывода для интуиционистской логики высказываний : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Алгоритм поиска натурального вывода для интуиционистской логики высказываний : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Алгоритм поиска натурального вывода для интуиционистской логики высказываний : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Публічна бібліотека №160 сімейного читання
Киев город со специальным статусом, Київ, Дарницький район, Позняки
Петра Григоренка проспект, 22/20
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
160.cbsdarniza.com.ua
 +380 (44) 575-35-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая районная библиотека, с. Бирюковка
Астраханская область, Приволжский район, с. Бирюковка
Лесная, 14
Расположение на карте
Пн: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Лобня
Московская область, Лобня городской округ, Лобня, Центральный м-н
Чехова, 5
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
cb-lobnya.mo.muzkult.ru
 +7 (495) 577-46-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Федурновская сельская библиотека
Московская область, Балашиха городской округ, Балашиха, Микрорайон МАРЗ
Авиарембаза, 6
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 11:00-17:00
www.cbsbalashihi.ru
 +7 (495) 522-32-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №12, г. Верхняя Пышма
Свердловская область, Верхняя Пышма городской округ, Верхняя Пышма
Чайковского, 15
Расположение на карте
санитарный день: последний чт месяца
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
www.bibl-12.ucoz.ru
Вконтакте:  https://vk.com/id243655812
 +7 (34368) 5-44-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая Централизованная библиотечная система Орловского района, МБУК
Орловская область, Орловский район, д. Нижняя Лужна
Совхозная, 7
Расположение на карте
санитарный день: последний чт месяца
Пн: 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 (4862) 40-14-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №5
Волгоградская область, Волгоград городской округ, Волгоград, Кировский район, микрорайон Развилка
Кирова, 132
Расположение на карте
летний период: пн-пт 10:00-18:00; сб-вс выходной; санитарный день: последний день месяца
Пн: 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 (8442) 42-14-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, ДК Центральный
Алтайский край, Барнаул городской округ, пос. Центральный, Центральный район
Мира, 13
Расположение на карте
санитарный день: 15 число месяца
Вт: 09:00-13:30 14:00-17:00
Ср: 09:00-13:30 14:00-17:00
Чт: 09:00-13:30 14:00-17:00
Пт: 09:00-13:30 14:00-17:00
Сб: 10:00-16:00
 +7 (3852) 67-72-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №27 им С.В. Михалкова
Ульяновская область, Ульяновск городской округ, Ульяновск, Засвияжский район
Октябрьская, 32Б
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:30-19:00
Ср: 10:30-19:00
Чт: 10:30-19:00
Пт: 10:30-19:00
Сб: 10:30-19:00
Вс: 10:30-19:00
27.mukcbs.org
Вконтакте:  https://vk.com/club106800908
Твиттер:  https://twitter.com/@27biblio?lang=ru
 +7 (8422) 45-34-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Усть-Баргузинская библиотека семейного чтения
Республика Бурятия, Баргузинский район, пгт Усть-Баргузин
Щербакова, 9а
Расположение на карте
Пн: 09:30-12:00 14:00-17:00
Вт: 09:30-12:00 14:00-17:00
Ср: 09:30-12:00 14:00-17:00
Чт: 09:30-12:00 14:00-17:00
Пт: 09:30-12:00 14:00-17:00
 +7 (30131) 9-13-35
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Публічна бібліотека №160 сімейного читання
Киев город со специальным статусом, Київ, Дарницький район, Позняки
Петра Григоренка проспект, 22/20
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
160.cbsdarniza.com.ua
 +380 (44) 575-35-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая районная библиотека, с. Бирюковка
Астраханская область, Приволжский район, с. Бирюковка
Лесная, 14
Расположение на карте
Пн: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Лобня
Московская область, Лобня городской округ, Лобня, Центральный м-н
Чехова, 5
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
cb-lobnya.mo.muzkult.ru
 +7 (495) 577-46-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Федурновская сельская библиотека
Московская область, Балашиха городской округ, Балашиха, Микрорайон МАРЗ
Авиарембаза, 6
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 11:00-17:00
www.cbsbalashihi.ru
 +7 (495) 522-32-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №12, г. Верхняя Пышма
Свердловская область, Верхняя Пышма городской округ, Верхняя Пышма
Чайковского, 15
Расположение на карте
санитарный день: последний чт месяца
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
www.bibl-12.ucoz.ru
Вконтакте:  https://vk.com/id243655812
 +7 (34368) 5-44-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая Централизованная библиотечная система Орловского района, МБУК
Орловская область, Орловский район, д. Нижняя Лужна
Совхозная, 7
Расположение на карте
санитарный день: последний чт месяца
Пн: 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 (4862) 40-14-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №5
Волгоградская область, Волгоград городской округ, Волгоград, Кировский район, микрорайон Развилка
Кирова, 132
Расположение на карте
летний период: пн-пт 10:00-18:00; сб-вс выходной; санитарный день: последний день месяца
Пн: 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 (8442) 42-14-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, ДК Центральный
Алтайский край, Барнаул городской округ, пос. Центральный, Центральный район
Мира, 13
Расположение на карте
санитарный день: 15 число месяца
Вт: 09:00-13:30 14:00-17:00
Ср: 09:00-13:30 14:00-17:00
Чт: 09:00-13:30 14:00-17:00
Пт: 09:00-13:30 14:00-17:00
Сб: 10:00-16:00
 +7 (3852) 67-72-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №27 им С.В. Михалкова
Ульяновская область, Ульяновск городской округ, Ульяновск, Засвияжский район
Октябрьская, 32Б
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:30-19:00
Ср: 10:30-19:00
Чт: 10:30-19:00
Пт: 10:30-19:00
Сб: 10:30-19:00
Вс: 10:30-19:00
27.mukcbs.org
Вконтакте:  https://vk.com/club106800908
Твиттер:  https://twitter.com/@27biblio?lang=ru
 +7 (8422) 45-34-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Усть-Баргузинская библиотека семейного чтения
Республика Бурятия, Баргузинский район, пгт Усть-Баргузин
Щербакова, 9а
Расположение на карте
Пн: 09:30-12:00 14:00-17:00
Вт: 09:30-12:00 14:00-17:00
Ср: 09:30-12:00 14:00-17:00
Чт: 09:30-12:00 14:00-17:00
Пт: 09:30-12:00 14:00-17:00
 +7 (30131) 9-13-35
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.