| Title: | О полноте классического исчисления предикатов в конструктивной математической логике |
| Authors: | Марков, А.А. |
| Issue Date: | 1974 |
| Publisher: | Наука |
| Citation: | Марков, А.А. О полноте классического исчисления предикатов в конструктивной математической логике / А.А. Марков // Доклада Академии наук СССР. - Москва : Наука, 1974. - Т. 215, № 2. - С. 266-269. |
| URI: | https://elib.gsu.by/handle123456789/83555 |
| Appears in Collections: | Оцифрованный фонд |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Марков_О_полноте.pdf | 273.81 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.