Journal or Publication Title:
Date of publication:
Volume:
Additional Information:
Title:
О некоторых оценках длин логических выводов в классическом исчислении высказываний
Other title:
Ասույթների դասական հաշվի տրամաբանական արտածումների երկարության որոշ գնահատականների մասին
Creator:
Subject:
Uncontrolled Keywords:
Ցեյտին Գ. Ս. ; Չուբարյան Ա. Ա.