INTRODUCTION TO LOGIC - Suppes, Patrick (1957)