02106nam a22002177a#450000100060000000700030000600800410000902000330005008200210008310000600010424501180016425000460028226001330032830000350046150512780049665000470177465000350182185000080185694200080186499800160187237512tz230718t2564    th ||||| |||| 00| 0 tha d  a9789740340010c520 บาท  a511.3bส992ต  aโสรัจจ์ หงศ์ลดารมภ์  aตรรกวิทยาสัญลักษณ์ /cโสรัจจ์ หงศ์ลดารมภ์  aพิมพ์ครั้งที่ 3  aกรุงเทพฯ :bสำนักพิมพ์จุฬาลงกรณ์มหาวิทยาลัย,c2564  a300 หน้า ;c26 ซม.  aบทนำ  --  วากยสัมพันธ์ของตรรกวิทยาของประพจน์  --  อรรถศาสตร์ของตรรกวิทยาของประพจน์  --  การแปลในภาษาแบบแผนประพจน์  --  อรรถศาสตร์ของตรรกวิทยาของประพจน์ (2)  --  การพิสูจน์ในภาษาแบบแผนของประพจน์ (1)  --  การพิสูจน์ในภาษาแบบแผนของประพจน์ (2)  --  การพิสูจน์ในภาษาแบบแผนของประพจน์ (3)  --  วากยสัมพันธ์ของตรรกวิทยาภาคแสดง  --  อรรถศาสตร์ของภาษาแบบแผนภาคแสดง  --  อรรถศาสตร์ของภาษาแบบแผนภาคแสดง (2)  --  การแปลในภาษาแบบแผนภาคแสดง  --  การแปลในภาษาแบบแผนภาคแสดง (1)  --  การแปลในภาษาแบบแผนภาคแสดง (2)  aคณิตตรรกศาสตร์  aตรรกศาสตร์  aMBU  aCL2  asalinee.jae