Proof and disproof in formal logic : an introduction for programmers
2757
Краткое содержание:
Экранизация книги

Proof and disproof in formal logic : an introduction for programmers

Автор:
Bornat Richard
Год:
2005
isbn:
0-19-853026-9
Язык:
Английский
Страниц:
243
Заглавие серии:
Oxford texts in logic ; 2
Описание:
Bornat R. Proof and disproof in formal logic : an introduction for programmers / Richard Bornat. - Oxford [etc.] : Oxford univ. press, 2005. - XIX, 243 с. : ил. ; 25 см. - (Oxford texts in logic ; 2). - Указ.: с. 239-243
Рейтинг по отзывам:
4.5
Рубрики:
Программирование(компьют.) → Математические основы
Примечания:
Указ.: с. 239-243
Дата создания:
2021-05-11 07:20:41
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Proof and disproof in formal logic : an introduction for programmers
У нее есть электронная версия?
Да.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Уральская городская библиотека им. М. Горького
Западно-Казахстанская область, Уральск, Деркул пгт
Даля, 34
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Название и адрес
Режим работы
Телефон
Публічна бібліотека №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
 +380 (44) 575-35-11
Показать номер
Название и адрес
Режим работы
Телефон
Центральная библиотека №249
Москва, Зеленоград, Савёлки район
Зеленоград, к607а
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
 +7 (499) 735-03-82 +7 (499) 734-19-17
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №1 им. А.С. Грибоедова
Москва, Москва, Мещанский район
Мира проспект, 68
Расположение на карте
санитарный день: последний вт месяца; июль-август: вт-сб 12:00-20:00; вс выходной
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7 (495) 684-59-08 +7 (495) 684-46-10
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека-литературный Музей им. Н.Н. Блинова
Мурманская область, Мурманск городской округ, Мурманск, Ленинский округ
Октябрьская, 21
Расположение на карте
зимний период: вт-пт 11:00-19:00; сб 10:00-18:00; санитарный день: первая ср месяца
Вт: 11:00-18:30
Ср: 11:00-18:30
Чт: 11:00-18:30
Пт: 11:00-18:30
Сб: 10:00-18:00
 +7 (8152) 42-01-74
Показать номер
Название и адрес
Режим работы
Телефон
Соломбальская библиотека №5 им. Б.В. Шергина
Архангельская область, Архангельск городской округ, Архангельск, Соломбальский округ, Соломбала
Беломорской Военной Флотилии, 8
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
 +7 (8182) 22-34-96 +7 (8182) 22-50-45
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №18
Самарская область, Самара городской округ, Самара, Промышленный район, 10-й микрорайон
Фадеева, 67
Расположение на карте
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (846) 951-80-59
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №30
Воронежская область, Воронеж городской округ, Воронеж, Левобережный район
Иркутская, 15а
Расположение на карте
зимний период: вт-вс 10:00-19:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (473) 275-25-54
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №23
Кировская область, Киров городской округ, с. Порошино
Порошинская, 41а
Расположение на карте
Вт: 11:00-14:00 14:30-18:30
Ср: 11:00-14:00 14:30-18:30
Чт: 11:00-14:00 14:30-18:30
Пт: 11:00-14:00 14:30-18:30
Сб: 10:00-17:00
 +7 (8332) 22-48-67
Показать номер
Название и адрес
Режим работы
Телефон
Калининградская областная научная библиотека
Калининградская область, Калининград городской округ, Калининград, Центральный район
Мира проспект, 9-11
Расположение на карте
санитарный день: последний вт месяца; июль-август: пн-чт 12:00-19:00; сб-вс 10:00-18:00
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Уральская городская библиотека им. М. Горького
Западно-Казахстанская область, Уральск, Деркул пгт
Даля, 34
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Название и адрес
Режим работы
Телефон
Публічна бібліотека №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
 +380 (44) 575-35-11
Показать номер
Название и адрес
Режим работы
Телефон
Центральная библиотека №249
Москва, Зеленоград, Савёлки район
Зеленоград, к607а
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
 +7 (499) 735-03-82 +7 (499) 734-19-17
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №1 им. А.С. Грибоедова
Москва, Москва, Мещанский район
Мира проспект, 68
Расположение на карте
санитарный день: последний вт месяца; июль-август: вт-сб 12:00-20:00; вс выходной
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7 (495) 684-59-08 +7 (495) 684-46-10
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека-литературный Музей им. Н.Н. Блинова
Мурманская область, Мурманск городской округ, Мурманск, Ленинский округ
Октябрьская, 21
Расположение на карте
зимний период: вт-пт 11:00-19:00; сб 10:00-18:00; санитарный день: первая ср месяца
Вт: 11:00-18:30
Ср: 11:00-18:30
Чт: 11:00-18:30
Пт: 11:00-18:30
Сб: 10:00-18:00
 +7 (8152) 42-01-74
Показать номер
Название и адрес
Режим работы
Телефон
Соломбальская библиотека №5 им. Б.В. Шергина
Архангельская область, Архангельск городской округ, Архангельск, Соломбальский округ, Соломбала
Беломорской Военной Флотилии, 8
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
 +7 (8182) 22-34-96 +7 (8182) 22-50-45
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №18
Самарская область, Самара городской округ, Самара, Промышленный район, 10-й микрорайон
Фадеева, 67
Расположение на карте
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (846) 951-80-59
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №30
Воронежская область, Воронеж городской округ, Воронеж, Левобережный район
Иркутская, 15а
Расположение на карте
зимний период: вт-вс 10:00-19:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (473) 275-25-54
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №23
Кировская область, Киров городской округ, с. Порошино
Порошинская, 41а
Расположение на карте
Вт: 11:00-14:00 14:30-18:30
Ср: 11:00-14:00 14:30-18:30
Чт: 11:00-14:00 14:30-18:30
Пт: 11:00-14:00 14:30-18:30
Сб: 10:00-17:00
 +7 (8332) 22-48-67
Показать номер
Название и адрес
Режим работы
Телефон
Калининградская областная научная библиотека
Калининградская область, Калининград городской округ, Калининград, Центральный район
Мира проспект, 9-11
Расположение на карте
санитарный день: последний вт месяца; июль-август: пн-чт 12:00-19:00; сб-вс 10:00-18:00
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Прикрепить файл