Browsing by Subject Logic, Symbolic and mathematical
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 1997 | An [omega]-order predicate logic with types | Anocha Yimsiriwattana |
| 2518 | การทดลองแทรกตรรกศาสตร์สัญลักษณ์ในการสอนคณิตศาสตร์ ชั้นประถมศึกษาปีที่เจ็ด | มิลินทร์ สำเภาเงิน |