Основания интуиционистской математики с точки зрения теории рекурсивных функций
1108
Купить
Краткое содержание:
Экранизация книги

Основания интуиционистской математики с точки зрения теории рекурсивных функций

Авторы:
Клини Стефан Коул
Весли Ричард
Год:
1978
Язык:
Русский
Страниц:
271
Заглавие серии:
Математическая логика и основания математики
Описание:
Клини С.К., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций / Пер. с англ. Ф.А. Кабакова и Б.А. Кушнера. - Москва : Наука, 1978. - 271 с. ; 20 см. - (Математическая логика и основания математики). - Указ. имен, предм. и обозначений: с. 267-271. - Список лит.: с. 254-266
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Интуиционизм (филос.); Математика → Философские проблемы
Примечания:
Перевод изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965) . - Указ. имен, предм. и обозначений: с. 267-271 . - Список лит.: с. 254-266
Другие ответственные лица:
Кабаков, Ф.А. → Переводчик; Кушнер, Б.А. → Переводчик
Дата создания:
2020-04-20 23:11:46
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Основания интуиционистской математики с точки зрения теории рекурсивных функций

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Опросы
Там присутствует главный герой?
Да, он мужчина.
Да, это женщина.
Нет.
Не знаю.
Не знаю
Содержание

Реставрация Основания интуиционистской математики с точки зрения теории рекурсивных функций

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Астраханская область, Астрахань городской округ, Астрахань, Юго-Восток-2 м-н
Космонавтов, 12 к1
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (8512) 33-32-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Алферово
Республика Алтай, Майминский район, пос. Алферово
Центральная, 35
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, г. Красноармейск
Московская область, Красноармейск городской округ, Красноармейск, Северный м-н
Северный микрорайон, 31
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-19:00
Вс: 10:00-17:00
library.krasno.ru
 +7 (49653) 8-21-27
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №97
Москва, Москва, Новокосино район
Новокосинская, 15 к3
Расположение на карте
санитарный день: первый рабочий день месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbs-vao.ru
 +7 (495) 703-81-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека Пушкинского муниципального района, МБУК
Московская область, Пушкинский район, пгт Правдинский
Полевая, 4а
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
bibliopushkino.ru
 +7 (49653) 1-63-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №14
Рязанская область, Рязань городской округ, Рязань, Московский округ, Приокский
Карла Маркса, 11
Расположение на карте
санитарный день: последний день месяца; зимний период: пн выходной
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 10:00-19:00
 +7 (4912) 33-48-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. А. Гайдара
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Канавинский район
Мануфактурная, 9
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Вс: 09:30-17:00
 +7 (831) 246-56-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека №2
Республика Адыгея, Майкопский район, пгт Каменномостский
Гагарина, 34
Расположение на карте
Пн: 10:00-16:00
Вт: 10:00-16:00
Ср: 10:00-16:00
Чт: 10:00-16:00
Пт: 10:00-16:00
 +7-928-461-90-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4, Калининский район
Санкт-Петербург, Санкт-Петербург, Калининский район, МО №24 "Прометей"
Светлановский проспект, 62 к1
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +7 (812) 242-32-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 74-79-55
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Астраханская область, Астрахань городской округ, Астрахань, Юго-Восток-2 м-н
Космонавтов, 12 к1
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (8512) 33-32-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Алферово
Республика Алтай, Майминский район, пос. Алферово
Центральная, 35
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, г. Красноармейск
Московская область, Красноармейск городской округ, Красноармейск, Северный м-н
Северный микрорайон, 31
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-19:00
Вс: 10:00-17:00
library.krasno.ru
 +7 (49653) 8-21-27
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №97
Москва, Москва, Новокосино район
Новокосинская, 15 к3
Расположение на карте
санитарный день: первый рабочий день месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbs-vao.ru
 +7 (495) 703-81-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека Пушкинского муниципального района, МБУК
Московская область, Пушкинский район, пгт Правдинский
Полевая, 4а
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
bibliopushkino.ru
 +7 (49653) 1-63-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №14
Рязанская область, Рязань городской округ, Рязань, Московский округ, Приокский
Карла Маркса, 11
Расположение на карте
санитарный день: последний день месяца; зимний период: пн выходной
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 10:00-19:00
 +7 (4912) 33-48-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. А. Гайдара
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Канавинский район
Мануфактурная, 9
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Вс: 09:30-17:00
 +7 (831) 246-56-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека №2
Республика Адыгея, Майкопский район, пгт Каменномостский
Гагарина, 34
Расположение на карте
Пн: 10:00-16:00
Вт: 10:00-16:00
Ср: 10:00-16:00
Чт: 10:00-16:00
Пт: 10:00-16:00
 +7-928-461-90-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4, Калининский район
Санкт-Петербург, Санкт-Петербург, Калининский район, МО №24 "Прометей"
Светлановский проспект, 62 к1
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +7 (812) 242-32-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 74-79-55
Показать номер
Информация от пользователей
Азат Нагирян
Основания интуиционистской математики с точки зрения теории рекурсивных функций. В книге говорится
Прикрепить файл
Книга находятся в категориях.