INTRODUCTION TO SEMANTICS AND FORMALIZATION OF LOGIC - Carnap, Rudolf (Harvard University, 1961)