TY - BOOK AU - Фрейденталь,Ханс TI - Язык логики PY - 1969/// CY - М. PB - Наука KW - логика KW - математическая логика ER -