Препринты ИПМ им.М.В.Келдыша. - 1977. № 120. О сложности выводов в интуиционистском исчислении высказываний

     Препринты ИПМ им.М.В.Келдыша. — 1977. — Москва: ИПМ им. М. В. Келдыша РАН.

Попов, С. В.
          № 120. О сложности выводов в интуиционистском исчислении высказываний / С. В. Попов. — 1977(Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). — ISSN 2071-2898 (Print). — ISSN 2071-2901 (Online).



[ SYS NUM: 27696 ]