Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2000

Volume:

21

ISSN:

0131-4645

Additional Information:

click here to follow the link

Title:

The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs

Other title:

Էական ենթաբանաձևերի բազմության հզորությունը Ֆրեգեի արտածումներում և տեղադրման կանոնով Ֆրեգեի արտածումներում

Creator:

Anahit A. Chubaryan

Subject:

Mathematics

Uncontrolled Keywords:

Չուբարյան Ա. Ա.

Coverage:

116-118

Publisher:

Изд-во НАН РА

Date created:

2000-05-10

Type:

Հոդված

Format:

pdf

Location of original object:

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