TY  - BOOK
AU  - Клаус,Георг
AU  - Ветров,А .А .
TI  - Введение в формальную логику
U1  - 51.01:16 
PY  - 1960///
CY  - Москва
PB  - Изд. иностр. литер.
KW  - Математика
KW  - Математическая логика
N1  - Библиогр.:с.483-484
ER  -