TY  - BOOK
AU  - Попов, С. В.
TI  - О сложности выводов в интуиционистском исчислении высказываний
T2  - Ин-т прикл. математики АН СССР. Препринт
VL  - № 120
PY  - 1977///
CY  - Москва
PB  - Б. и.
N2  - Библиогр.: с. 55
ER  -