TY - BOOK AU - ชาตรี เมืองนาโพธิ์ AU - ชัยวัฒน์ ปานพลอย TI - Symbolic logic AV - BC135 ช514ซ 2509 PY - 2509/// CY - พระนคร PB - นิยมวิทยา KW - ตรรกวิทยา ER -