INTRODUCTION TO SYMBOLIC LOGIC AND ITS APPLICATIONS - Carnap, Rudolf (Dover Publications, Inc., 1958)