TY  - BOOK
AU  - Стяжкин,Николай Иванович
ED  - АН СССР
TI  - Формирование  математической логики
U1  - 517.11 
PY  - 1967///
CY  - Москва
PB  - Наука
KW  - Математика
KW  - Математическая логика
N1  - Библиогр.: с. 456-505
ER  -