О сложности выводов в интуиционистском исчислении высказываний
русский/О сложности выводов в интуиционистском исчислении высказываний .О сложности выводов в интуиционистском исчислении высказываний.О сложности выводов в интуиционистском исчислении высказываний.Москва/Б. и./, 1977 ( ). - Б. и., 1977. - 55 с. : ил. ; 20 см. - (Ин-т прикл. математики АН СССР. Препринт ; № 120).О сложности выводов в интуиционистском исчислении высказываний. Москва, 1977 .
Библиогр.: с. 55. Библиогр.: с. 55.
Библиогр.: с. 55. Библиогр.: с. 55.