| ชื่อเรื่อง | : | Second-Order Logic |
| นักวิจัย | : | Ketland, Jeffrey |
| คำค้น | : | philosophy , philosophy of mathematics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | Borchert, Donald |
| ปีพิมพ์ | : | 2548 |
| อ้างอิง | : | In D. Borchert (ed.), Macmillan Encyclopedia of Philosophy. 2005. Macmillan Reference USA , 0-02-865780-2 , http://hdl.handle.net/1842/1345 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Second-order logic is the extension of first-order logic obtaining by introducing quantification of predicate and function variables. |
| บรรณานุกรม | : |
Ketland, Jeffrey . (2548). Second-Order Logic.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Ketland, Jeffrey . 2548. "Second-Order Logic".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Ketland, Jeffrey . "Second-Order Logic."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2548. Print. Ketland, Jeffrey . Second-Order Logic. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2548.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
