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

2383

Купить

Краткое содержание:

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

Name: О некоторых секвенциальных вариантах классического исчисления предикатов с единственным деревом вывода : Автореферат дис. на соискание ученой степени кандидата физико-математических наук
Rating: 4.5

Автор:

Матулис Вилюс А.

Год:

1963

Язык:

Русский

Страниц:

Описание:

Матулис В.А. О некоторых секвенциальных вариантах классического исчисления предикатов с единственным деревом вывода : Автореферат дис. на соискание ученой степени кандидата физико-математических наук / Ленингр. ордена Ленина гос. ун-т им. А.А. Жданова. - Ленинград, 1963. - 9 с. ; 20 см. - Библиогр. в конце текста (13 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

–

Примечания:

Библиогр. в конце текста (13 назв.)

Дата создания:

2020-10-30 16:30:43

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

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

Заказать реферат Узнать стоимость Скачать пример

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

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме О некоторых секвенциальных вариантах классического исчисления предикатов с единственным деревом вывода : Автореферат дис. на соискание ученой степени кандидата физико-математических наук

Заказать диплом Узнать стоимость Скачать пример

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

Заказать диссертацию Узнать стоимость Скачать пример

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

Заработать от 15 000 руб. до 150 000 руб.

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

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Центральна бібліотека Московського району

Харьковская область, Харьков, Московский район
Металлиста, 10
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+380 (57) 732-32-65

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека Томилино, МУК

Московская область, Люберцы городской округ, рп. Томилино, Хлыстово д.
Пионерская, 20
Расположение на карте

санитарный день: последний день месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-19:00

tomlibrary.ru

+7 (495) 557-15-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная научно-техническая библиотека пищевой промышленности

Москва, Москва, Войковский район
Ленинградское шоссе, 8 к1
Расположение на карте

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00

www.foodinfo.ru

+7 (499) 150-19-33 +7 (499) 150-19-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Привокзальная детская библиотека №8

Архангельская область, Архангельск городской округ, Архангельск, Ломоносовский округ
23 Гвардейской Дивизии, 5
Расположение на карте

санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-17:00

arhlib.ru/vsyo-o-tsbs/biblioteki/privokzalnaya-detskaya-biblioteka-8
Вконтакте: https://vk.com/arhlib
Инстаграм: https://instagram.com/arhlib
Facebook: https://facebook.com/arhcbs

+7 (8182) 20-29-08

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотечно-досуговый центр Автозаводского района

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Автозаводский район
Молодёжный проспект, 44Б
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00

lib-avt.ru
Вконтакте: https://vk.com/public158025431
Facebook: https://facebook.com/superbiblioteka
Твиттер: https://twitter.com/@libavt

+7 (831) 293-58-56

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека семейного чтения

Челябинская область, Копейский городской округ, Копейск, Старокамышинск
Коммунистическая, 28
Расположение на карте

санитарный день: последняя ср месяца; зимний период: пн-пт 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-18:00

bibliokopi.ru

+7 (35139) 9-74-99

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3, Колпинский район

Санкт-Петербург, Санкт-Петербург, Колпинский район, МО "п. Сапёрный"
Дорожная, 11
Расположение на карте

санитарный день: последний рабочий день месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00

+7 (812) 462-15-66

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная Библиотечная Система г. Улан-Удэ, МАУ

Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Заречный ж/м
Кабанская, 16
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00

cbs-ulan-ude.ru
cbs-uu.ru
Вконтакте: https://vk.com/bibl_kalashnikov
Facebook: https://facebook.com/1587033464888844

+7 (3012) 22-47-09

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная библиотека, с. Помары

Республика Марий Эл, Волжский район, с. Помары
Станционная, 1
Расположение на карте

санитарный день: последний день месяца
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-16:00

Название и адрес

Режим работы

Контактная информация

Телефон

Cельская Павленковская библиотека, пос. Спасский

Челябинская область, Верхнеуральский район, пос. Спасский
Ленина, 33
Расположение на карте

санитарный день: последний день месяца
Пн: 11:00-17:00
Вт: 11:00-17:00
Ср: 11:00-17:00
Чт: 11:00-17:00
Пт: 11:00-17:00

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Центральна бібліотека Московського району

Харьковская область, Харьков, Московский район
Металлиста, 10
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+380 (57) 732-32-65

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека Томилино, МУК

Московская область, Люберцы городской округ, рп. Томилино, Хлыстово д.
Пионерская, 20
Расположение на карте

санитарный день: последний день месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-19:00

tomlibrary.ru

+7 (495) 557-15-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная научно-техническая библиотека пищевой промышленности

Москва, Москва, Войковский район
Ленинградское шоссе, 8 к1
Расположение на карте

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00

www.foodinfo.ru

+7 (499) 150-19-33 +7 (499) 150-19-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Привокзальная детская библиотека №8

санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-17:00

arhlib.ru/vsyo-o-tsbs/biblioteki/privokzalnaya-detskaya-biblioteka-8
Вконтакте: https://vk.com/arhlib
Инстаграм: https://instagram.com/arhlib
Facebook: https://facebook.com/arhcbs

+7 (8182) 20-29-08

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотечно-досуговый центр Автозаводского района

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00

lib-avt.ru
Вконтакте: https://vk.com/public158025431
Facebook: https://facebook.com/superbiblioteka
Твиттер: https://twitter.com/@libavt

+7 (831) 293-58-56

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека семейного чтения

bibliokopi.ru

+7 (35139) 9-74-99

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3, Колпинский район

Санкт-Петербург, Санкт-Петербург, Колпинский район, МО "п. Сапёрный"
Дорожная, 11
Расположение на карте

санитарный день: последний рабочий день месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00

+7 (812) 462-15-66

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная Библиотечная Система г. Улан-Удэ, МАУ

Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Заречный ж/м
Кабанская, 16
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00

cbs-ulan-ude.ru
cbs-uu.ru
Вконтакте: https://vk.com/bibl_kalashnikov
Facebook: https://facebook.com/1587033464888844

+7 (3012) 22-47-09

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная библиотека, с. Помары

Республика Марий Эл, Волжский район, с. Помары
Станционная, 1
Расположение на карте

санитарный день: последний день месяца
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-16:00

Название и адрес

Режим работы

Контактная информация

Телефон

Cельская Павленковская библиотека, пос. Спасский

Челябинская область, Верхнеуральский район, пос. Спасский
Ленина, 33
Расположение на карте

санитарный день: последний день месяца
Пн: 11:00-17:00
Вт: 11:00-17:00
Ср: 11:00-17:00
Чт: 11:00-17:00
Пт: 11:00-17:00