Основы теории доказательств : Учеб. пособие для студентов МИФИ : В 2 ч.
912

Основы теории доказательств : Учеб. пособие для студентов МИФИ : В 2 ч.

Автор:
Попов Сергей Викторович (канд. физ.-мат. наук кибернетика 1946 -)
Год:
1997; Связанные записи
Язык:
Русский
Описание:
Попов С. В. Основы теории доказательств : [Учеб. пособие для студентов МИФИ : В 2 ч.] / С.В. Попов; М-во общ. и проф. образования Рос. Федерации, Моск. гос. инж.-физ. ин-т (техн. ун-т). - М. : МИФИ, 1997. - 20 см
Рейтинг по отзывам:
5
Рубрики:
Математическая логика → Исчисление высказываний → Теория доказательств → Руководства, пособия и т.п. для высшей школы
Дата создания:
2019-11-24 15:34:41
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Основы теории доказательств : Учеб. пособие для студентов МИФИ : В 2 ч.
Она написана в прозе?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Попов Сергей Викторович (канд. физ.-мат. наук кибернетика 1946 -)
Психология и логика переговоров
О длине вычислений арифметических программ
Об устранимости аксиомы индукции
Логическая энтропия
На пути к метапсихологии
Прикладные аспекты теории доказательств : Учеб. пособие
Название и адрес
Режим работы
Телефон
Бібліотека ім. Ю. Смолича
Киев город со специальным статусом, Київ, Дарницький район
Здолбунівська, 3а
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +380 (44) 574-96-36
Показать номер
Название и адрес
Режим работы
Телефон
Церковно-приходская библиотека
Астраханская область, Астрахань городской округ, Астрахань, Кировский район
Василия Тредиаковского, 2/2
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-15:00
Вс: 10:00-15:00
 +7-927-558-09-80
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека Селятино
Московская область, Наро-Фоминский район, рп. Селятино
Спортивная, 5
Расположение на карте
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
 +7 (49634) 2-91-09
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №3
Смоленская область, Смоленск городской округ, Смоленск, Заднепровский район
Юрьева, 3
Расположение на карте
санитарный день: последняя пт месяца
Пн: 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 (4812) 27-01-02
Показать номер
Название и адрес
Режим работы
Телефон
Библиотечный информационный центр имени В.Г. Ерёмина, г. Орёл
Орловская область, Орёл городской округ, Орёл, Северный район
Московское шоссе, 151а
Расположение на карте
зимний период: пн, ср-вс 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 (4862) 33-11-96 +7 (4862) 36-57-04
Показать номер
Название и адрес
Режим работы
Телефон
Детская историко-патриотическая библиотека №1
Самарская область, Самара городской округ, Самара, Промышленный район, Безымянка
Краснодонская, 13
Расположение на карте
санитарный день: первый вт месяца
Пн: 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 (846) 995-11-85
Показать номер
Название и адрес
Режим работы
Телефон
Берёзовская библиотека
Нижегородская область, Арзамасский район, д. Березовка
Школьная, 2
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 11:00-16:00
 +7 (83147) 7-79-22
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, пос. Смышляево
Центральная, 13
Расположение на карте
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (3846) 64-11-72
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека, МБУК
Владимирская область, Владимир городской округ, Владимир, Ленинский район, Юрьевец м-н
Школьный проезд, 4
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-14:00 15:00-19:00
Вт: 12:00-14:00 15:00-19:00
Ср: 12:00-14:00 15:00-19:00
Чт: 12:00-14:00 15:00-19:00
Вс: 10:00-18:00
 +7 (4922) 26-18-74
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №2
Республика Татарстан, Казань городской округ, Казань, Кировский, Залесный
Залесная, 2
Расположение на карте
санитарный день: последний пн месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (843) 555-90-71
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Книжный магазин
Киев город со специальным статусом, Київ, Оболонський район, Петрівка
Вербова, 17Б
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Название и адрес
Режим работы
Телефон
Лабиринт.ру, книжный интернет-магазин
Республика Удмуртия, Ижевск городской округ, Ижевск, Первомайский район, Ю-2
Удмуртская, 161а
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
 +7 (3412) 91-86-18 8-800-500-95-25
Показать номер
Название и адрес
Режим работы
Телефон
Читай-город, сеть книжных магазинов и канцелярских товаров
Белгородская область, Белгород городской округ, Белгород, Восточный округ
Костюкова, 41
Расположение на карте
Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
ВГБИЛ им. М.И. Рудомино, ФГБУ, книжный магазин
Москва, Москва, Таганский район
Николоямская, 1
Расположение на карте
Пн: 08:30-20:30
Вт: 08:30-20:30
Ср: 08:30-20:30
Чт: 08:30-20:30
Пт: 08:30-20:30
Сб: 11:00-19:00
Вс: 11:00-19:00
 +7 (495) 915-35-17
Показать номер
Название и адрес
Режим работы
Телефон
Магазин литературы
Москва, Москва, Пресненский район
Звенигородская 2-я, 12 ст3
Расположение на карте
Пн: 09:30-17:00
Вт: 09:30-17:00
Ср: 09:30-17:00
Чт: 09:30-17:00
Пт: 09:30-16:00
 +7 (495) 769-86-15
Показать номер
Название и адрес
Режим работы
Телефон
Читай-город, сеть книжных магазинов
Москва, Москва, Левобережный район
Фестивальная, 2Б
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
ТД Лабиринт, ООО, интернет-магазин
Калининградская область, Калининград городской округ, Калининград, Ленинградский район
Зелёная, 76
Расположение на карте
Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00
 8-800-500-95-25
Показать номер
Название и адрес
Режим работы
Телефон
Клерки, магазин комиксов, настольных игр и фигурок
Республика Саха (Якутия), Якутск городской округ, Якутск, Центральный округ
Орджоникидзе, 38
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
 +7-924-170-12-16
Показать номер
Название и адрес
Режим работы
Телефон
Школьный остров Авалон, магазин
Челябинская область, Челябинский городской округ, Челябинск, Курчатовский район
Победы проспект, 382а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-16:00
 +7-922-750-60-84 +7 (351) 750-60-84
Показать номер
Название и адрес
Режим работы
Телефон
Буратино, сеть оптово-розничных магазинов
Курганская область, Курган городской округ, Курган
Омская, 82
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
Вс: 10:00-17:00
 +7 (3522) 555-112 +7 (3522) 555-610
Показать номер
Прикрепить файл