Journal or Publication Title:

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

Date of publication:

2012

Volume:

38

ISSN:

0131-4645

Additional Information:

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

Title:

Distributivity in symmetric constructive full lambek calculus

Creator:

Michal Kozak

Subject:

Mathematics ; Algebra

Coverage:

68-69

Publisher:

Изд-во НАН РА

Date created:

2012-04-10

Type:

Հոդված

Format:

pdf

Location of original object:

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