1993

Linear logic in computer science

Год:

2004

isbn:

0-521-60857-0

Язык:

Английский

Заглавие серии:

London mathematical society lecture note series ; 316

Описание:

Linear logic in computer science / [Azores summer school on linear logic a. computer science, held Aug. 30 - Sept. 7, 2000 in St. Miguel, Azores]; ed. by Thomas Ehrhard [et al.]. - Cambridge : Cambridge univ. press, 2004. - X, 381 c. : ил. ; 23 см. - (London mathematical society lecture note series ; 316). - Библиогр. в конце докл.

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

Рубрики:

Математическая логика → Съезды, совещания и т.п.

Примечания:

Библиогр. в конце докл.

Автор (ред., сост., организация):

Azores summer school on linear logic and computer science (2000 , St. Miguel)

Другие ответственные лица:

Ehrhard, Thomas → Редактор

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

2019-09-27 07:29:38

Соц. сети:

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

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

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

Объявление о покупке (разыскивается книга)

Объявление о продаже

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

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

Режим работы

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

Телефон

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

Брянская область, Брянск городской округ, Брянск, Бежицкий район
Металлистов переулок, 8а
Расположение на карте

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

библиотека32.рф
Вконтакте: https://vk.com/public44755079
Твиттер: https://twitter.com/@lib_proskurina

+7 (4832) 57-03-09

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

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

Режим работы

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

Телефон

Городская библиотека №30, г. Домодедово

Московская область, Домодедово городской округ, Домодедово, Западный м-н
Текстильщиков, 41а
Расположение на карте

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

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

+7-963-966-75-04

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

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

Режим работы

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

Телефон

Государственная публичная научно-техническая библиотека России

Москва, Москва, Фили-Давыдково район
Кастанаевская, 32 к3
Расположение на карте

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

www.gpntb.ru
Вконтакте: https://vk.com/gpntb.russia
Инстаграм: https://instagram.com/gpntb.russia
Facebook: https://facebook.com/gpntb.russia

+7 (499) 144-49-41 +7 (499) 144-49-47

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

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

Режим работы

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

Телефон

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

Москва, Москва, Ярославский район
Ярославское шоссе, 6 к1
Расположение на карте

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

+7 (499) 188-26-47

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

Наличие в магазинах

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

Режим работы

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

Телефон

Алем, книжный магазин

Актюбинская область, Актобе городская администрация, Актобе, 5-й м-н
Абилкайыр-хана проспект, 67
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00

Инстаграм: https://instagram.com/alem.aktobe

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

Режим работы

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

Телефон

Balka Book, книжный интернет-магазин

Харьковская область, Харьков, Шевченковский район
Кравцова переулок, 19
Расположение на карте

Вт: 09:00-15:00
Ср: 09:00-15:00
Чт: 09:00-15:00
Пт: 09:00-15:00
Сб: 09:00-15:00
Вс: 09:00-15:00

balka-book.com
Инстаграм: https://instagram.com/balkabook
Skype: balkabook
Facebook: https://facebook.com/Balkabook.com.ua

+380 67-769-96-38

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

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

Режим работы

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

Телефон

Мир книг, магазин

Карагандинская область, Караганда, Казыбек Би район, Михайловка м-н
Кривогуза, 35/1
Расположение на карте

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

Инстаграм: https://instagram.com/mirknig.krg

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

Режим работы

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

Телефон

Читай город, сеть книжных магазинов

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Нижегородский район
Родионова, 187
Расположение на карте

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

www.chitai-gorod.ru
Вконтакте: https://vk.com/chitaigorod
Facebook: https://facebook.com/chitaigorod
Одноклассники: https://ok.ru/chitaigorod
Твиттер: https://twitter.com/@chitaigorod

8-800-444-84-44

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