| 000 | 00971nam a22002297c 4500 | ||
|---|---|---|---|
| 001 | 000027696 | ||
| 003 | RuMoIPM | ||
| 005 | 20251117201250.0 | ||
| 008 | 251105s1977 ru ||||| |||| 00| 0 rus d | ||
| 022 | _a2071-2898 (Print) | ||
| 022 | _a2071-2901 (Online) | ||
| 035 | _abiblionumber | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | _arus | ||
| 044 | _aru | ||
| 100 | _aПопов, С. В. | ||
| 245 |
_a№ 120. О сложности выводов в интуиционистском исчислении высказываний _cС. В. Попов |
||
| 260 | _c1977 | ||
| 490 | 0 | _aПрепринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук | |
| 773 | 0 | 8 |
_w000024337 _7nnas _dМосква: ИПМ им. М. В. Келдыша РАН _tПрепринты ИПМ им.М.В.Келдыша. - 1977 _x2071-2898 (Print) |
| 942 | _cPR | ||
| 999 |
_c27696 _d27696 |
||