Formal systems and recursive functions : Proceedings of the Eighth logic colloquium, Oxford, July 1963
835
Купить
Краткое содержание:
Экранизация книги

Formal systems and recursive functions : Proceedings of the Eighth logic colloquium, Oxford, July 1963

Год:
1965
Язык:
Английский
Страниц:
320
Заглавие серии:
Studies in logic and the foundations of mathematics
Описание:
Formal systems and recursive functions : Proceedings of the Eighth logic colloquium, Oxford, July 1963 / Ed. by J. N. Crossley ... and M. A. E. Dummett ... - Amsterdam : North-Holland publ. co., 1965. - [8], 320 с. ; 23 см. - (Studies in logic and the foundations of mathematics). - Библиогр. в конце докладов
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Функции рекурсивные
Примечания:
Микрофильм . - Библиогр. в конце докладов
ББК:
Мт-1 ; Съезды В127я431(4Англ.)
Другие ответственные лица:
Crossley, John N. → Редактор; Crossley, John N.
Дата создания:
2020-12-20 14:31:30
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Formal systems and recursive functions : Proceedings of the Eighth logic colloquium, Oxford, July 1963

Заказать реферат Узнать стоимость Скачать пример
Dana Scott: Looking Backward; Looking Forward
Invited Talk at the Workshop in honour of Dana Scott's 85th birthday and 50 years of domain theory, 7-8 July, FLoC 2018 (talk 7 July 2018) - see ...
Federated Logic Conference FLoC 2018
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Formal systems and recursive functions : Proceedings of the Eighth logic colloquium, Oxford, July 1963
Опросы
Там присутствует главный герой?
Да, он мужчина.
Да, это женщина.
Нет.
Не знаю.
Не знаю
Содержание

Реставрация Formal systems and recursive functions : Proceedings of the Eighth logic colloquium, Oxford, July 1963

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Lambda Days 2018 - Mary Sheeran - In Praise of Higher Order Functions
Register to Lambda Days newsletter to receive updates: http://www.lambdadays.org/lambdadays2018/#contact Mary Sheeran Professor at Chalmers University ...
Erlang Solutions
Rise of the Robots | Technology and the Threat of a Jobless Future | Martin Ford | Audiobook
Rise of the Robots: Technology and the Threat of a Jobless Future is a 2015 book by American futurist Martin Ford. Rise discusses the impact accelerating ...
PopularAudioBooks
Arthur Prior Centenary Conference – Keynote: Jack Copeland
Jack Copeland. Keynote address at the Arthur Prior Centenary Conference, Balliol College, Oxford, August 22, 2014. http://conference.prior.aau.dk ...
Priorstudies
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №214 им. Ю.А. Гагарина
Москва, Москва, Тропарёво-Никулино район
Вернадского проспект, 109
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 12:00-20:00
www.bibliozao.ru
Facebook:  https://facebook.com/gagarinlib
 +7 (495) 433-53-55 +7 (495) 433-54-11 +7 (495) 433-53-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кабановская сельская библиотека, ООО
Московская область, Ликино-Дулёво городской округ, д. Кабаново
Кабаново д, 158
Расположение на карте
Вт: 11:00-15:00 15:30-19:00
Ср: 11:00-15:00 15:30-19:00
Чт: 11:00-15:00 15:30-19:00
Пт: 11:00-15:00 15:30-19:00
Сб: 11:00-15:00 15:30-19:00
 +7 (496) 418-41-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, г. Королёв
Московская область, Королёв городской округ, Королёв, Подлипки м-н
Терешковой, 1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
cbs.korolev-culture.ru
Вконтакте:  https://vk.com/public146163207
 +7 (495) 516-65-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская библиотека для слепых
Республика Саха (Якутия), Якутск городской округ, Якутск, Автодорожный округ, Залог
Ленина проспект, 58
Расположение на карте
зимний период: пн-сб 9:00-17:00, перерыв: 13:00-14:00
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
www.rbs.sakha.ru
Инстаграм:  https://instagram.com/rbs_yakutia
 +7 (4112) 40-39-80 +7 (4112) 40-39-79
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Николаевка
Самарская область, Волжский район, с. Николаевка
Советская, 18
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-16:00
 +7 (846) 993-31-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск
Некрасова, 249
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-13:00 13:30-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 33-06-87
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Ангарск
Иркутская область, Ангарский городской округ, Ангарск
18-й микрорайон, 1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
www.cbs-angarsk.ru
Вконтакте:  https://vk.com/club165018210
Инстаграм:  https://instagram.com/biblioteki_angarska
Facebook:  https://facebook.com/biblioteki.angarska
Одноклассники:  https://ok.ru/angarsk.territoriyachteniya
 +7 (3955) 55-04-40 +7 (3955) 65-25-42 +7 (3955) 55-04-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечно-информационный центр им. П.И. Бартенева
Липецкая область, Липецк городской округ, Липецк, Правобережный округ
Ленина, 31а
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/club59956728
 +7 (4742) 27-09-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ленинградская областная детская библиотека
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №13 "Светлановское"
Тореза проспект, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
lodbspb.ru
Вконтакте:  https://vk.com/kidslibrary_lodb
Инстаграм:  https://instagram.com/lodbspb
Facebook:  https://facebook.com/Kidslibrary
Youtube:  https://youtube.com/channel/UCIfpB1axJENELh0U6jjEM8A
 +7 (812) 552-25-28 +7 (812) 552-95-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.Ю. Лермонтова
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Первомайский район, 2-й посёлок Орджоникидзе
Брестская, 2
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_cbs
Инстаграм:  https://instagram.com/biblioteka_rostova
Facebook:  https://facebook.com/donlib.ru
Одноклассники:  https://ok.ru/donlib
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 252-62-01
Показать номер
Saul Kripke | Wikipedia audio article
This is an audio version of the Wikipedia Article: Saul Kripke Listening is a more natural way of learning, when compared to reading. Written language only ...
wikipedia tts MIT | Wikipedia audio article
This is an audio version of the Wikipedia Article: MIT Listening is a more natural way of learning, when compared to reading. Written language only began at ...
wikipedia tts Evolving Pattern Language Towards an Affordance Language (Almaden, 2018/05/08)
An invited presentation at IBM Research Almaden, oriented towards a history of science on pattern language and its development both in open communities and ...
David Ing MIT | Wikipedia audio article
This is an audio version of the Wikipedia Article: MIT 00:01:22 1 History 00:01:31 1.1 Foundation and vision 00:02:53 1.2 Early developments 00:06:02 1.3 ...
wikipedia tts
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №214 им. Ю.А. Гагарина
Москва, Москва, Тропарёво-Никулино район
Вернадского проспект, 109
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 12:00-20:00
www.bibliozao.ru
Facebook:  https://facebook.com/gagarinlib
 +7 (495) 433-53-55 +7 (495) 433-54-11 +7 (495) 433-53-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кабановская сельская библиотека, ООО
Московская область, Ликино-Дулёво городской округ, д. Кабаново
Кабаново д, 158
Расположение на карте
Вт: 11:00-15:00 15:30-19:00
Ср: 11:00-15:00 15:30-19:00
Чт: 11:00-15:00 15:30-19:00
Пт: 11:00-15:00 15:30-19:00
Сб: 11:00-15:00 15:30-19:00
 +7 (496) 418-41-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, г. Королёв
Московская область, Королёв городской округ, Королёв, Подлипки м-н
Терешковой, 1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
cbs.korolev-culture.ru
Вконтакте:  https://vk.com/public146163207
 +7 (495) 516-65-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская библиотека для слепых
Республика Саха (Якутия), Якутск городской округ, Якутск, Автодорожный округ, Залог
Ленина проспект, 58
Расположение на карте
зимний период: пн-сб 9:00-17:00, перерыв: 13:00-14:00
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
www.rbs.sakha.ru
Инстаграм:  https://instagram.com/rbs_yakutia
 +7 (4112) 40-39-80 +7 (4112) 40-39-79
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Николаевка
Самарская область, Волжский район, с. Николаевка
Советская, 18
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-16:00
 +7 (846) 993-31-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск
Некрасова, 249
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-13:00 13:30-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 33-06-87
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Ангарск
Иркутская область, Ангарский городской округ, Ангарск
18-й микрорайон, 1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
www.cbs-angarsk.ru
Вконтакте:  https://vk.com/club165018210
Инстаграм:  https://instagram.com/biblioteki_angarska
Facebook:  https://facebook.com/biblioteki.angarska
Одноклассники:  https://ok.ru/angarsk.territoriyachteniya
 +7 (3955) 55-04-40 +7 (3955) 65-25-42 +7 (3955) 55-04-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечно-информационный центр им. П.И. Бартенева
Липецкая область, Липецк городской округ, Липецк, Правобережный округ
Ленина, 31а
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/club59956728
 +7 (4742) 27-09-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ленинградская областная детская библиотека
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №13 "Светлановское"
Тореза проспект, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
lodbspb.ru
Вконтакте:  https://vk.com/kidslibrary_lodb
Инстаграм:  https://instagram.com/lodbspb
Facebook:  https://facebook.com/Kidslibrary
Youtube:  https://youtube.com/channel/UCIfpB1axJENELh0U6jjEM8A
 +7 (812) 552-25-28 +7 (812) 552-95-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.Ю. Лермонтова
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Первомайский район, 2-й посёлок Орджоникидзе
Брестская, 2
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_cbs
Инстаграм:  https://instagram.com/biblioteka_rostova
Facebook:  https://facebook.com/donlib.ru
Одноклассники:  https://ok.ru/donlib
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 252-62-01
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.