Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Кузичев, А.С. | - |
| dc.date.accessioned | 2025-12-05T08:36:43Z | - |
| dc.date.available | 2025-12-05T08:36:43Z | - |
| dc.date.issued | 1973 | - |
| dc.identifier.citation | Кузичев, А.С. Система λ-конверсии с дедуктивным оператором формальной импликации / А.С. Кузичев // Доклады Академии наук СССР.- Москва : Наука, 1973. - Т. 212, № 6. - С. 1290-1292. | ru |
| dc.identifier.uri | https://elib.gsu.by/handle123456789/83136 | - |
| dc.language.iso | ru | ru |
| dc.publisher | Наука | ru |
| dc.title | Система λ-конверсии с дедуктивным оператором формальной импликации | ru |
| dc.type | Article | ru |
| dc.identifier.udk | 510.1:517.12 | - |
| dc.root | Доклады Академии наук СССР | ru |
| dc.placeOfPublication | Москва | ru |
| dc.number | 6 | ru |
| dc.volume | 212 | ru |
| Appears in Collections: | Оцифрованный фонд | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Кузичев_Система.pdf | 196.56 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.