Symbolic logic syntax, semantics, and proof
Includes bibliographical references and index
Đã lưu trong:
| Príomhúdar: | |
|---|---|
| Formáid: | Leabhar |
| Teanga: | Undetermined |
| Foilsithe: |
Lanham, Md.
Rowman & Littlefield Publishers
2013
|
| Ábhair: | |
| Rochtain Ar Líne: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=31085 |
| Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Thủ Dầu Một |
|---|
| LEADER | 00727nam a2200217Ia 4500 | ||
|---|---|---|---|
| 001 | TDMU_31085 | ||
| 008 | 210410s9999 xx 000 0 und d | ||
| 082 | |a 338.709597 | ||
| 090 | |b A102 | ||
| 100 | |a Agler, David W | ||
| 245 | 0 | |a Symbolic logic | |
| 245 | 0 | |b syntax, semantics, and proof | |
| 245 | 0 | |c David W. Agler | |
| 260 | |a Lanham, Md. | ||
| 260 | |b Rowman & Littlefield Publishers | ||
| 260 | |c 2013 | ||
| 300 | |a xv, 375 p. | ||
| 520 | |a Includes bibliographical references and index | ||
| 650 | |a Logic, Modern; Logic, Symbolic and mathematical; Logic ký hiệu | ||
| 856 | |u http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=31085 | ||
| 980 | |a Trung tâm Học liệu Trường Đại học Thủ Dầu Một | ||