0
0
1283
Théorie de la récursivité pour la métamathémathique = Теория рекурсивности в математике.
Автор:
Smullyan Raymond Merrill
Год:
1995
isbn:
2-225-84860-2
Язык:
–
Перевод заглавия:
Теория рекурсивности в математике.
Заглавие серии:
Logique, mathématiques, informatique [0995-2179]
Описание:
Smullyan Raymond Merrill Théorie de la récursivité pour la métamathémathique / Raymond M. Smullyan, prof.; Trad. de l'angl. par Ph. Ithier. - Paris etc. : Masson, 1995. - 164 c. ; 24 см. - (Logique, mathématiques, informatique [0995-2179]). - Библиогр.: с. 158-159
Рейтинг по отзывам:
4.5
Материалы:
Рубрики:
Рекурсивная теория
Примечания:
"Trad. de l'ouvrage publ. en lang. angl. sous le titre "Recursion theory for metamathematics" . - Библиогр.: с. 158-159
Дата создания:
2021-04-25 21:05:04
Соц. сети:
Важно
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге
