Рекурсивно перечислимые множества и сводимости табличного типа
| Hlavní autor: | |
|---|---|
| Vydáno: |
Москва, Наука, 1998
|
| Témata: | |
| Médium: | Kniha |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=8925 |
| Fyzický popis: | 176 с. |
|---|---|
| ISBN: | 5020148431 |