Расширение пропозиционального секвенциального исчисления списками и сложением.

Н.К. Косовский, А. Дарвиш

Research output

Original languageUndefined
Title of host publication"Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,
Pages497-499
Publication statusPublished - 2004
Externally publishedYes

Cite this

Косовский, Н. К., & Дарвиш, А. (2004). Расширение пропозиционального секвенциального исчисления списками и сложением. In "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб, (pp. 497-499)
Косовский, Н.К. ; Дарвиш, А. / Расширение пропозиционального секвенциального исчисления списками и сложением. "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. 2004. pp. 497-499
@inbook{fa35786f7a06454996d75bad516b597a,
title = "Расширение пропозиционального секвенциального исчисления списками и сложением.",
author = "Н.К. Косовский and А. Дарвиш",
year = "2004",
language = "не определен",
pages = "497--499",
booktitle = "{"}Современная логика: проблемы теории, истории и применения в науке{"}, Материалы VIII Общероссийской научной конференцииСПб,",

}

Косовский, НК & Дарвиш, А 2004, Расширение пропозиционального секвенциального исчисления списками и сложением. in "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. pp. 497-499.

Расширение пропозиционального секвенциального исчисления списками и сложением. / Косовский, Н.К.; Дарвиш, А.

"Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. 2004. p. 497-499.

Research output

TY - CHAP

T1 - Расширение пропозиционального секвенциального исчисления списками и сложением.

AU - Косовский, Н.К.

AU - Дарвиш, А.

PY - 2004

Y1 - 2004

M3 - статья в сборнике

SP - 497

EP - 499

BT - "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,

ER -

Косовский НК, Дарвиш А. Расширение пропозиционального секвенциального исчисления списками и сложением. In "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. 2004. p. 497-499