Term-modal logic and quantifier-free dynamic assignment logic : Diss. = Логика элементар. модели и логика динамич. распределения. Квантификатор-свободный.
1526

Term-modal logic and quantifier-free dynamic assignment logic : Diss. = Логика элементар. модели и логика динамич. распределения. Квантификатор-свободный.

Автор:
Thalmann Lars
Год:
2000
isbn:
91-506-1443-6
Язык:
Перевод заглавия:
Логика элементар. модели и логика динамич. распределения. Квантификатор-свободный.
Заглавие серии:
Uppsala theses in computing science ; 34 [0283-359X]
Описание:
Thalmann Lars Term-modal logic and quantifier-free dynamic assignment logic : [Diss.] / Lars Thalmann. - Uppsala : Uppsala univ., 2000. - X, 130 c. ; 24 см. - (Uppsala theses in computing science ; 34 [0283-359X]). - Библиогр.: с. 121-126
Рейтинг по отзывам:
5
Рубрики:
Математическая логика
Примечания:
Библиогр.: с. 121-126
Дата создания:
2019-07-03 18:27:27
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Term-modal logic and quantifier-free dynamic assignment logic : Diss. = Логика элементар. модели и логика динамич. распределения. Квантификатор-свободный.
Книга имеет отношение к религии?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Детская библиотека №5
Брянская область, Брянск городской округ, Брянск, Фокинский район
Ермакова, 38
Расположение на карте
зимний период: пн-пт, вс 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 (4832) 63-83-75
Показать номер
Название и адрес
Режим работы
Телефон
Радуга, библиотека семейного чтения, МУ ЦБС
Московская область, Электросталь городской округ, Электросталь, Восточный м-н
Юбилейная, 1а
Расположение на карте
зимний период: пн-сб 11:00-18:00; санитарный день: последний день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (49657) 5-12-11
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №263
Москва, Москва, Десёновское поселение
Дмитрия Рябинкина, 13
Расположение на карте
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7 (499) 146-90-40
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека
Рязанская область, Рязань городской округ, Рязань, Московский округ, Канищево
Станкозаводская, 27
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Название и адрес
Режим работы
Телефон
Библиотека
Пермский край, Добрянский район, пос. Дивья
Лесная, 21
Расположение на карте
Пн: 11:00-15:00
Вт: 11:00-15:00
Ср: 11:00-15:00
Название и адрес
Режим работы
Телефон
Детская библиотека №34
Республика Башкортостан, Уфа городской округ, Уфа, Орджоникидзевский район, Черниковка
Коммунаров, 62
Расположение на карте
зимний период: вт-сб 10:00-18:00; пн выходной; санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
 +7 (347) 283-74-44
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №16 для слепых и других читателей с ограниченными возможностями
Волгоградская область, Волжский городской округ, Волжский, 35-й квартал / 1-й микрорайон
Ленина проспект, 71
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (8443) 27-61-83
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. Н.Ю. Корнеева
Курская область, Курск городской округ, Курск, Сеймский округ, Микрорайон КЗТЗ
Пигорева, 2
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 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 (4712) 35-82-67
Показать номер
Название и адрес
Режим работы
Телефон
Башкирская Республиканская специальная библиотека для слепых, Стерлитамакский филиал
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Западный
Свердлова, 71
Расположение на карте
санитарный день: последний четверг месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-17:00
 +7 (3473) 43-83-04
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №23
Забайкальский край, Чита городской округ, Чита, Черновский район, Аэропорт пос.
Звёздная, 25
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 9:00-17:00, перерыв: 13:00-14:00; вс 9:00-17:00, перерыв: 13:00-14: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
Пт: 10:00-13:00 14:00-17:00
 +7 (3022) 41-22-61
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Магазин школьных учебников
Киев город со специальным статусом, Київ, Оболонський район, Петрівка
Вербова, 23/64
Расположение на карте
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
Название и адрес
Режим работы
Телефон
Kausar.kg, интернет-магазин восточных товаров
Бишкек, Бишкек, Октябрьский район
Исы Ахунбаева, 66
Расположение на карте
Пн: 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
 +996 706-99-11-73
Показать номер
Название и адрес
Режим работы
Телефон
Лабиринт.РУ, интернет-магазин
Рязанская область, Рязань городской округ, Рязань, Октябрьский округ, Песочня
Новосёлов, 51 к2
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 8-800-500-95-25
Показать номер
Название и адрес
Режим работы
Телефон
Кардс, оптовая компания
Архангельская область, Архангельск городской округ, Архангельск, Ломоносовский округ
Володарского, 8
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 11:00-17:00
 +7 (8182) 203-204 +7-950-254-98-97
Показать номер
Название и адрес
Режим работы
Телефон
Бумага, сеть магазинов
Кировская область, Киров городской округ, Киров, Октябрьский район
Сутырина, 5
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
 +7 (8332) 66-11-12
Показать номер
Название и адрес
Режим работы
Телефон
Территория, книжный магазин
Москва, Москва, Южное Бутово район
Горчакова, 11
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Телефон
Городской Бестселлер, сеть книжно-канцелярских магазинов
Красноярский край, Красноярск городской округ, Красноярск, Кировский район, Первомайский
Академика Павлова, 48
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 08:00-19:00
Вс: 08:00-19:00
 +7 (391) 273-60-40 +7-967-605-32-52
Показать номер
Название и адрес
Режим работы
Телефон
Магазин книг и канцтоваров
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №79 "Литейный"
Чернышевского проспект, 17
Расположение на карте
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
Вс: 11:00-20:00
 +7-981-955-30-10 +7-921-633-13-80
Показать номер
Название и адрес
Режим работы
Телефон
Буквоед, сеть книжно-канцелярских магазинов
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №11 "Остров Декабристов"
Одоевского, 31
Расположение на карте
Пн: 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
 +7 (812) 601-06-01 +7 (812) 244-47-50
Показать номер
Название и адрес
Режим работы
Телефон
OZON.ru, интернет-гипермаркет
Санкт-Петербург, Санкт-Петербург, Приморский район, МО №65
Яхтенная, 7 к1
Расположение на карте
Пн: 11:00-21:00
Вт: 11:00-21:00
Ср: 11:00-21:00
Чт: 11:00-21:00
Пт: 11:00-21:00
Сб: 11:00-21:00
Вс: 11:00-21:00
 8-800-234-60-06
Показать номер
Прикрепить файл