A MATHEMATICAL INTRODUCTION TO LOGIC, second edition by Herbert B. Enderton
Chapter 1
section 1.1 (Japanese) ; section 1.1 (English)
･If you notice any mistake, please send me your suggestions.
naito.takehiro@gmail.com