Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen Mit 5 Textabb. 2., neubearb. u. erw. Aufl. - Carnap, Rudolf (Springer, 1960)