Full metadata record
DC FieldValueLanguage
dc.contributor.authorМарков, А.А.-
dc.date.accessioned2025-12-17T12:47:45Z-
dc.date.available2025-12-17T12:47:45Z-
dc.date.issued1974-
dc.identifier.citationМарков, А.А. О полноте классического исчисления предикатов в конструктивной математической логике / А.А. Марков // Доклада Академии наук СССР. - Москва : Наука, 1974. - Т. 215, № 2. - С. 266-269.ru
dc.identifier.urihttps://elib.gsu.by/handle123456789/83555-
dc.language.isoruru
dc.publisherНаукаru
dc.titleО полноте классического исчисления предикатов в конструктивной математической логикеru
dc.typeArticleru
dc.identifier.udk517.11-
dc.rootДоклады Академии наук СССРru
dc.placeOfPublicationМоскваru
dc.number2ru
dc.volume215ru
Appears in Collections:Оцифрованный фонд

Files in This Item:
File Description SizeFormat 
Марков_О_полноте.pdf273.81 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.