หนังสือ · 2564
ตรรกวิทยาสัญลักษณ์
โสรัจจ์ หงศ์ลดารมภ์ · พิมพ์ครั้งที่ 3
ว่าง 2 จาก 2 เล่มหอสมุดกลาง · 511.3 ส992ต 2564
ตัวเล่มในห้องสมุด
| สถานที่ | เลขเรียก | สถานะ |
|---|---|---|
| หอสมุดกลาง | 511.3 ส992ต 2564 | ว่าง |
| หอสมุดกลาง | 511.3 ส992ต 2564 ฉ.2 | ว่าง |
รายละเอียด
- ชื่อเรื่อง
- ตรรกวิทยาสัญลักษณ์
- ผู้แต่ง
- โสรัจจ์ หงศ์ลดารมภ์
- ครั้งที่พิมพ์
- พิมพ์ครั้งที่ 3
- พิมพ์ที่
- กรุงเทพฯ : สำนักพิมพ์จุฬาลงกรณ์มหาวิทยาลัย, 2564
- ภาษา
- ไทย
- ISBN
- 9789740340010
- หมายเหตุ
- บทนำ -- วากยสัมพันธ์ของตรรกวิทยาของประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การแปลในภาษาแบบแผนประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ (2) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (1) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (2) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (3) -- วากยสัมพันธ์ของตรรกวิทยาภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง (2) -- การแปลในภาษาแบบแผนภาคแสดง -- การแปลในภาษาแบบแผนภาคแสดง (1) -- การแปลในภาษาแบบแผนภาคแสดง (2)