| 000 | 00571 a2200181 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 082 | _a510.6 | ||
| 090 |
_c6130 _d6130 |
||
| 100 | _aRyzhkov, Anatolij Georgievich | ||
| 245 |
_aFormalizarovannyj i konstruktivistskij podhod k probleme istinnosti v matematicheskoj logike _cA. G. Ryzhkov |
||
| 260 |
_a[s. l.] _bIzd.-vo Saratovskogo Universiteta _c1964 |
||
| 300 |
_a28 p _btab _c20 cm |
||
| 500 | _aContine bibliogr. - Scriere chirilica in lb. rusa | ||
| 650 | _aLogica matematica | ||
| 650 | _aAlgoritmi | ||
| 650 | _aSisteme logice | ||
| 942 |
_aIMAR _cCART |
||
| 999 |
_c5997 _d5997 |
||