TY  - BOOK
AU  - Stolyar, A. Aronovich
AU  - ill.
TI  - Introduction to elementary mathematic logic
AV  - BC135.S7613 
PY  - 1970///
CY  - London
PB  - : The MIT Press
KW  - Logic,
KW  - symbolic
KW  -  mathematical
N1  - Includes bibliographies
ER  -