INTRODUCTION TO LOGIC - Suppes, Patrick (D.Van Nostrand Company, Inc., 1957)