ตรรกวิทยาสัญลักษณ์
Content Notes:
Partial contents: วากยสัมพันธ์ของตรรกวิทยาของประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การแปลในภาษาแบบแผนประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การพิสูจน์ในภาษาแบบแผนของประพจน์ -- วากยสัมพันธ์ของตรรกวิทยาภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง -- การแปลในภาษาแบบแผนภาคแสดง -- การพิสูจน์ในภาษาแบบแผนภาคแสดง
DGS_0000230 | 511.3 ส287ต 2553 | ห้องสมุดบัณฑิณศึกษา DCIGS (อาคาร 1 ชั้น 3) | พร้อมให้บริการ |
No other version available