TY  - BOOK
AU  - Carnap Rudolf
TI  - Introduction to semantics and formalization of logic. 2V in 1V
U1  - R:(P:4), H3.1-.2 
PY  - 1943///
ER  -