Object structure

Publication Details:

«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։

Journal or Publication Title:

ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա =Известия НАН Армении: Математика =Proceedings of the NAS Armenia: Mathematics

Date of publication:

2000

Volume:

35

Number:

5

ISSN:

00002-3043

Official URL:


Additional Information:

click here to follow the link

Title:

Сравнение длин выводов в системах Фреге и системах Фреге с правилом подстановки

Other title:

Comparison of proof sizes in systems and substitution systems of Frege / A. A. Chubaryan.

Creator:

А. А. Чубарян

Contributor(s):

Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)

Subject:

Mathematics ; Science

Coverage:

65-74

Abstract:

В статье сравниваются длины выводов в системах Фреге и системах Фреге с подстановками. Описывается случай, когда выводы в системах Фреге с подстановками моделируются из выводов системы Фреге с полиномиальным ростом.

Place of publishing:

Երևան

Publisher:

Հայաստանի ԳԱԱ

Date created:

2000-10-18

Type:

Հոդված

Format:

pdf

Call number:

АЖ 411

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան