Book · 2564
ตรรกวิทยาสัญลักษณ์
โสรัจจ์ หงศ์ลดารมภ์ · พิมพ์ครั้งที่ 3
2 of 2 copies availableหอสมุดกลาง · 511.3 ส992ต 2564
Copies in the library
| Location | Call number | Status |
|---|---|---|
| หอสมุดกลาง | 511.3 ส992ต 2564 | Available |
| หอสมุดกลาง | 511.3 ส992ต 2564 ฉ.2 | Available |
About this title
- Title
- ตรรกวิทยาสัญลักษณ์
- Author
- โสรัจจ์ หงศ์ลดารมภ์
- Edition
- พิมพ์ครั้งที่ 3
- Published
- กรุงเทพฯ : สำนักพิมพ์จุฬาลงกรณ์มหาวิทยาลัย, 2564
- Language
- Thai
- ISBN
- 9789740340010
- Notes
- บทนำ -- วากยสัมพันธ์ของตรรกวิทยาของประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การแปลในภาษาแบบแผนประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ (2) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (1) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (2) -- การพิสูจน์ในภาษาแบบแผนของประพจน์ (3) -- วากยสัมพันธ์ของตรรกวิทยาภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง (2) -- การแปลในภาษาแบบแผนภาคแสดง -- การแปลในภาษาแบบแผนภาคแสดง (1) -- การแปลในภาษาแบบแผนภาคแสดง (2)