Формальный вывод и логичечкие исчиления
| Главный автор: | |
|---|---|
| Соавтор: | |
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
М
Наука
1972
|
MARC
| LEADER | 00000nam a2200000Ia 4500 | ||
|---|---|---|---|
| 008 | 201109s9999||||xx |||||||||||||| ||und|| | ||
| 016 | 3 | 9 | |
| 084 | |a 16 |b С 506 |2 10-t | ||
| 100 | |a Смирнов В.А. | ||
| 110 | |a АН СССР Ин-т философии | ||
| 245 | 0 | |a Формальный вывод и логичечкие исчиления |c Отв. ред. П.В.Таванец | |
| 260 | |c 1972 |a М |b Наука | ||
| 300 | |a 271 | ||
| 546 | |a Орос | ||
| 942 | |c BK | ||
| 952 | |0 0 |1 0 |2 10-t |4 0 |6 374708 |7 0 |9 677915 |a URNU |b URNU |c 0 |d 2020-11-09 |e Soliltsoo |g 3.35 |l 0 |o 374708 |p 005000374708 |r 2023-03-14 |w 2020-11-09 |y BK | ||
| 999 | |c 467787 |d 467844 | ||