TY  - BOOK
AU  - Carnap, Rudolf
AU  - Meyer, William H.
AU  - Wilkinson, John
TI  - Introduction to symbolic logic and its applications
U1  - 511.3 
PY  - 1958///
CY  - New York
PB  - Dover Publications
KW  - Logic, Symbolic and Mathematical
KW  - Symboloic Logic
N1  - Translation of Einfuhrung in die symbolische logik
ER  -