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

2150

Купить

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

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

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

Автор:

Маслов Сергей Юрьевич

Год:

1972

Язык:

Русский

Страниц:

Описание:

Маслов С.Ю. Обратный метод установления выводимости для логических исчислений : Автореф. дис. на соискание учен. степени д-ра физ.-мат. наук : (007) / Ленингр. гос. ун-т им. А.А. Жданова. - Ленинград, 1972. - 19 с. - Список лит.: с. 17-19 (27 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Список лит.: с. 17-19 (27 назв.)

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

2019-08-06 09:34:30

Соц. сети:

Важно

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Режим работы

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

Телефон

Сельская библиотека №12

Чуйская область, Ысык-Атинский район, д. Гидростроитель
Озёрная, 13
Расположение на карте

Пн: 08:00-12:00 13:00-17:00
Вт: 08:00-12:00 13:00-17:00
Ср: 08:00-12:00 13:00-17:00
Чт: 08:00-12:00 13:00-17:00
Пт: 08:00-12:00 13:00-17:00
Сб: 08:00-12:00 13:00-17:00

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

Режим работы

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

Телефон

Библиотека №180

Москва, Москва, Коньково район
Профсоюзная, 92
Расположение на карте

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

cbsuzao.ru
Вконтакте: https://vk.com/cbs.uzao
Facebook: https://facebook.com/cbs.uzao
Твиттер: https://twitter.com/@cbsuzao

+7 (495) 335-33-55 +7 (495) 335-57-22

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

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

Режим работы

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

Телефон

Одинцовский городской библиотечно-информационный центр

Московская область, Одинцовский район, Одинцово, 3-й м-н
Любы Новоселовой бульвар, 5
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

www.ogbic.ru

+7 (495) 599-71-53

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

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

Режим работы

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

Телефон

Икшанская поселковая библиотека

Московская область, Дмитровский район, рп. Икша
Икшанская, 10
Расположение на карте

Пн: 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-903-759-01-09 +7-903-159-03-35 +7 (49622) 5-63-76

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

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

Режим работы

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

Телефон

Падеринская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района

Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте

Пн: 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

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

Режим работы

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

Телефон

Межпоселенческая центральная библиотека Приморского района

Архангельская область, Приморский район, д. Кузьмино
Кузьмино д, 53
Расположение на карте

Пн: 12:00-15:00
Вт: 12:00-15:00
Ср: 12:00-15:00
Чт: 12:00-15:00
Пт: 12:00-15:00
Вс: 12:00-15:00

primlib.ru
Вконтакте: https://vk.com/primlib

+7 (8182) 60-21-22

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

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

Режим работы

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

Телефон

Библиотека №5

Республика Татарстан, Альметьевский район, Альметьевск
Габдуллы Тукая проспект, 37
Расположение на карте

санитарный день: последний день месяца
Пн: 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 (8553) 45-17-86

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

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

Режим работы

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

Телефон

Бурмистровская сельская библиотека

Новосибирская область, Искитимский район, д. Бурмистрово
Центральная, 22а
Расположение на карте

Пн: 10:00-12:00 14:00-17:00
Вт: 10:00-12:00 14:00-17:00
Ср: 10:00-12:00 14:00-17:00
Чт: 10:00-12:00 14:00-17:00
Пт: 10:00-12:00 14:00-17:00
Сб: 10:00-16:00

bsiskitim.ru

+7 (38343) 7-41-42

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

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

Режим работы

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

Телефон

Библиотека №6

Республика Башкортостан, Уфа городской округ, Уфа, Советский район
Революционная, 165
Расположение на карте

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

+7 (347) 216-47-84

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

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

Режим работы

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

Телефон

Библиотека им. П.С. Кириллова

Республика Мордовия, Саранск городской округ, Саранск, Октябрьский район, Химмаш
Гожувская, 28
Расположение на карте

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

+7 (8342) 55-09-56

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

Математическая логика I: лекция 8

На этой лекции мы докажем теорему о сильной полноте для первопорядкового исчисления. Слайды к лекции разме...

Logicarium Математическая логика и теория алгоритмов

Лекция по МЛиТА. Начало 23 марта в 11:30. Продолжаем разбираться с секвенциальным исчислением высказываний.

Oleg Vladimirovich Математическая логика. Лекция 1

Логика высказываний, тавтологии и дедуктивные рассуждения. Логическое следование в логике высказываний....

Образование для всех Лекция №15. Л.Д. Беклемишев. Интуиционистское исчисление предикатов...

Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисл...

МЦМУ МИАН

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

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

Режим работы

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

Телефон

Сельская библиотека №12

Чуйская область, Ысык-Атинский район, д. Гидростроитель
Озёрная, 13
Расположение на карте

Пн: 08:00-12:00 13:00-17:00
Вт: 08:00-12:00 13:00-17:00
Ср: 08:00-12:00 13:00-17:00
Чт: 08:00-12:00 13:00-17:00
Пт: 08:00-12:00 13:00-17:00
Сб: 08:00-12:00 13:00-17:00

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

Режим работы

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

Телефон

Библиотека №180

Москва, Москва, Коньково район
Профсоюзная, 92
Расположение на карте

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

cbsuzao.ru
Вконтакте: https://vk.com/cbs.uzao
Facebook: https://facebook.com/cbs.uzao
Твиттер: https://twitter.com/@cbsuzao

+7 (495) 335-33-55 +7 (495) 335-57-22

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

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

Режим работы

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

Телефон

Одинцовский городской библиотечно-информационный центр

Московская область, Одинцовский район, Одинцово, 3-й м-н
Любы Новоселовой бульвар, 5
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

www.ogbic.ru

+7 (495) 599-71-53

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

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

Режим работы

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

Телефон

Икшанская поселковая библиотека

Московская область, Дмитровский район, рп. Икша
Икшанская, 10
Расположение на карте

Пн: 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-903-759-01-09 +7-903-159-03-35 +7 (49622) 5-63-76

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

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

Режим работы

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

Телефон

Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте

Пн: 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

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

Режим работы

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

Телефон

Межпоселенческая центральная библиотека Приморского района

Архангельская область, Приморский район, д. Кузьмино
Кузьмино д, 53
Расположение на карте

Пн: 12:00-15:00
Вт: 12:00-15:00
Ср: 12:00-15:00
Чт: 12:00-15:00
Пт: 12:00-15:00
Вс: 12:00-15:00

primlib.ru
Вконтакте: https://vk.com/primlib

+7 (8182) 60-21-22

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

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

Режим работы

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

Телефон

Библиотека №5

Республика Татарстан, Альметьевский район, Альметьевск
Габдуллы Тукая проспект, 37
Расположение на карте

санитарный день: последний день месяца
Пн: 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 (8553) 45-17-86

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

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

Режим работы

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

Телефон

Бурмистровская сельская библиотека

Новосибирская область, Искитимский район, д. Бурмистрово
Центральная, 22а
Расположение на карте

Пн: 10:00-12:00 14:00-17:00
Вт: 10:00-12:00 14:00-17:00
Ср: 10:00-12:00 14:00-17:00
Чт: 10:00-12:00 14:00-17:00
Пт: 10:00-12:00 14:00-17:00
Сб: 10:00-16:00

bsiskitim.ru

+7 (38343) 7-41-42

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

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

Режим работы

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

Телефон

Библиотека №6

Республика Башкортостан, Уфа городской округ, Уфа, Советский район
Революционная, 165
Расположение на карте

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

+7 (347) 216-47-84

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

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

Режим работы

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

Телефон

Библиотека им. П.С. Кириллова

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

+7 (8342) 55-09-56

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

Информация от пользователей

Азат Нагирян

Обратный метод установления выводимости для логических исчислений : Автореф. дис. на соискание учен. степени д-ра физ.-мат. наук : (007) / Ленингр. ун-т Заглавие: Обратный метод установления выводимости для логических исчислений : Автореф. дис. на соискание учен. степени д-ра физ.-мат. наук : (007) / Ленингр. ун-т Другие идентификаторы: sofas-1937 Библиотечный фонд: Российская Государственная Библиотека Полное библиографическое описание Документ: Обратный метод установления выводимости для логических исчислений / [В. Л. Успенский, В. И. Гришин, А. Г. Кушниренко] ; Ленингр. гос. ун-т им. А.А. Жданова.