Author | โสรัจจ์ หงศ์ลดารมภ์ |
---|
Title | ตรรกวิทยาสัญลักษณ์ / โสรัจจ์ หงศ์ลดารมภ์ |
---|
Imprint |
กรุงเทพฯ : สำนักพิมพ์แห่งจุฬาลงกรณ์มหาวิทยาลัย, 2553 |
---|
Edition |
พิมพ์ครั้งที่ 2 ฉบับปรับปรุง |
---|
Descript |
300 หน้า ; 26 ซม |
---|
|
CONTENT
วากยสัมพันธ์ของตรรกวิทยาของประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การแปลในภาษาแบบแผนประพจน์ -- อรรถศาสตร์ของตรรกวิทยาของประพจน์ -- การพิสูจน์ในภาษาแบบแผนของประพจน์ -- วากยสัมพันธ์ของตรรกวิทยาภาคแสดง -- อรรถศาสตร์ของภาษาแบบแผนภาคแสดง -- การแปลในภาษาแบบแผนภาคแสดง -- การพิสูจน์ในภาษาแบบแผนภาคแสดง
SUBJECT
-
สัญลักษณ์ตรรกศาสตร์และคณิตตรรกศาสตร์
-
|
ตรรกวิทยา
LOCATION | CALL# | STATUS |
---|
Fine & Applied Arts Library | BC135 ส287ต 2553 |
CHECK SHELVES
|
Arts Library | BC135 ส287ต 2553 |
DUE 30-08-22
|