ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 1.

Цейтин, Г. С. and Чубарян, А. А. (1972) Некоторые оцинки длин логических выводов в классическом исчислении высказываний. ՀՍՍՀ ԳԱ Զեկույցներ, 55 (1). pp. 10-12.

This list was generated on Mon Aug 21 03:00:29 2017 AMT.