Web Library
Publication Searh
Русский
Publication
KIAM Preprint № 116, Moscow, 1977
Authors:
Попов С.В.
Некоторые сложностные характеристики выводов в исчислениях высказываний
Publication language:
russian
Export link to publication in format:
RIS
BibTeX
About authors:
Попов С.В.