MARC

LEADER 00000nam0a2200000 4500
001 355045
005 20231102010744.0
035 |a (RuTPU)RU\TPU\retro\12304 
090 |a 355045 
100 |a 20200630d1973 km y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a y z 001zy 
200 1 |a Теория логического вывода  |f Академия наук СССР, Институт философии ; отв. ред. П. В. Таванец 
210 |a Москва  |c Наука  |d 1973 
215 |a 272 с. 
320 |a Библиогр.: с. 270 
606 1 |a Вывод  |x Логика  |2 stltpush  |3 (RuTPU)RU\TPU\subj\3839  |9 32185 
610 1 |a логические выводы 
610 1 |a теория 
610 1 |a дедукция 
610 1 |a кванторы 
610 1 |a модальная логика 
610 1 |a пространственно-временные отношения 
686 |a Ю42  |v LBC/SL-A  |2 rubbk 
702 1 |a Таванец  |b П. В.  |4 340 
712 0 2 |a Академия наук СССР  |b Институт философии  |c (Москва)  |c (1936-1991)  |2 stltpush  |3 (RuTPU)RU\TPU\col\11338  |9 25043 
801 1 |a RU  |b 63413507  |c 20200630 
801 2 |a RU  |b 63413507  |c 20210201  |g RCR 
942 |c BK