TY  - BOOK
AU  - Stolyar,A.A.
TI  - Introduction to elementary mathematical logic
SN  - 0486645614 (pbk.)
PY  - 1983///
CY  - New York
PB  - Dover Publications
KW  - Logic, Symbolic and mathematical
N1  - Translation of: Ėlementarnoe vvedenie v matematicheskui͡u︡ logiku; Includes index
ER  -