Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий.
Full text not available from this repository.Item Type: | Thesis |
---|---|
Subjects: | Informatics and Computer Systems |
Depositing User: | NLA Circ. Dpt. |
Date Deposited: | 12 Feb 2019 06:03 |
Last Modified: | 13 Feb 2019 07:46 |
URI: | http://etd.nla.am/id/eprint/8918 |