| Title:
|
Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике (Russian) |
| Title:
|
On the applications of the theory of partially-recursive functions with respect to the sets in constructive mathematics (English) |
| Title:
|
O užití částečně rekursivních funkcí v konstruktivní matematice číselných množin (Czech) |
| Author:
|
Demuth, O. |
| Author:
|
Kryl, R. |
| Author:
|
Kučera, A. |
| Language:
|
Russian |
| Journal:
|
Acta Universitatis Carolinae. Mathematica et Physica |
| ISSN:
|
0001-7140 |
| Volume:
|
19 |
| Issue:
|
1 |
| Year:
|
1978 |
| Pages:
|
15-60 |
| Summary lang:
|
Russian |
| Summary lang:
|
English |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D30 |
| MSC:
|
03D60 |
| MSC:
|
03F60 |
| idZBL:
|
Zbl 0394.03054 |
| . |
| Date available:
|
2012-10-05T20:00:43Z |
| Last updated:
|
2012-10-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/142411 |
| . |
