TY - BOOK AU - Carnap Rudolf TI - Einfuhrung in die symbolisohe Logic: Mit Besonderer Berucksichtigung Ihrer Anwendungen U1 - 164=3 PY - 1954/// CY - Wien PB - Springer KW - Logic Symbolic KW - mathematical Logic ER -