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

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