ตรรกศาสตร์สัญลักษณ์ วิธีการพิสูจน์โดยใช้ตัวแบบจากหัวข้อ เซต ความสัมพันธ์และฟังก์ชัน และทฤษฎีจำนวนเบื้องต้น

Symbolic logic, methods of proof using the models from sets, relations and functions, and elementary number theory