Mostrar el registro sencillo del ítem
Основания интуиционистской математики с точки зрения теории рекурсивных функций
dc.contributor.author | Клини С., Весли Р. | |
dc.date.accessioned | 2016-02-21T16:44:25Z | |
dc.date.available | 2016-02-21T16:44:25Z | |
dc.date.issued | 1978 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/32907 | |
dc.description.abstract | Предлагаемая монография написанная С.К. Клини в сотрудничестве с Р.Ю. Весли суммирует многолетние исследования С.К. Клини, посвященные основаниям и интерпретациям интуиционисткой математики. В книге строится формализм, который можно рассматривать как расширение формальной интуиционисткой арифметики, развитой в известной монографии Клини "Введение в математику", и который позволяет изложить широкие разделы интуиционисткого анализа, включая теорию последовательностей выбора и брауэровску теорию континуума. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Основания интуиционистской математики с точки зрения теории рекурсивных функций | |
dc.type | other | |
dc.identifier.aich | EVEPQ4L3K6FTZCOUM6BKEJMIV23VMOYQ | |
dc.identifier.crc32 | FAA24F46 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 020BF08C26316C296BA602915EB150EE | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 4600 | |
dc.identifier.md5 | 1674880FB598F411BC88FF75F183B70C | |
dc.identifier.sha1 | AFWYKR3ALOE4PFPNP5PELCDWETX5GLUR | |
dc.identifier.tth | NQ6XRF3CPKDQP2VLOTPPMIY3HZYK4KP25ZZ47PY |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Libgen [81666]