TY  - BOOK
AU  - Carnap, Rudolf
TI  - Introduction to symbolic logic and its applications
CY  - New York 
N1  - B31 J83
ER  -