LEADER |
02106nam a22002177a#4500 |
001 |
37512 |
007 |
tz |
008 |
230718t2564 th ||||| |||| 00| 0 tha d |
020 |
|
|
|a 9789740340010
|c 520 บาท
|
082 |
|
|
|a 511.3
|b ส992ต
|
100 |
|
|
|a โสรัจจ์ หงศ์ลดารมภ์
|
245 |
|
|
|a ตรรกวิทยาสัญลักษณ์ /
|c โสรัจจ์ หงศ์ลดารมภ์
|
250 |
|
|
|a พิมพ์ครั้งที่ 3
|
260 |
|
|
|a กรุงเทพฯ :
|b สำนักพิมพ์จุฬาลงกรณ์มหาวิทยาลัย,
|c 2564
|
300 |
|
|
|a 300 หน้า ;
|c 26 ซม.
|
505 |
|
|
|a บทนำ -- วากยสัมพันธ์ของตรรกวิทยาของประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การแปลในภาษาแบบแผนประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ (2) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (1) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (2) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (3) -- วากยสัมพันธ์ของตรรกวิทยาภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง (2) -- การแปลในภาษาแบบแผนภาคแสดง -- การแปลในภาษาแบบแผนภาคแสดง (1) -- การแปลในภาษาแบบแผนภาคแสดง (2)
|
650 |
|
|
|a คณิตตรรกศาสตร์
|
650 |
|
|
|a ตรรกศาสตร์
|
850 |
|
|
|a MBU
|
942 |
|
|
|a CL2
|
998 |
|
|
|a salinee.jae
|