Ամսագրի կամ հրապարակման վերնագիր:

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

Հրապարակման ամսաթիվ:

2000

Հատոր:

21

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

սեղմիր այստեղ կապին հետևելու համար

Վերնագիր:

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

Այլ վերնագիր:

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

Ստեղծողը:

Anahit A. Chubaryan

Խորագիր:

Mathematics

Չվերահսկվող բանալի բառեր:

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

Ծածկույթ:

116-118

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2000-05-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

Բնօրինակի գտնվելու վայրը:

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