INTRODUCTION TO LOGIC PR - Suppes Patrick (New Delhi, 1957)