TY  - BOOK
AU  - Попов, С. В.
TI  - № 120. О сложности выводов в интуиционистском исчислении высказываний
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 1977///
ER  -