| 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 | |
