| Dữ liệu biên mục | Agler, David W., 1982-
Symbolic logic : syntax, semantics, and proof / David W. Agler. - Lanham, Md. : Rowman & Littlefield Publishers, 2013. - xv, 375 p. : ill. ; 26 cm.
Includes bibliographical references and index
ISBN
1. Logic, Modern.2. Logic, Symbolic and mathematical.3. Logic ký hiệu.
I. Nhan đềSố định danh : 511.3 A102
|
| | | Dữ liệu xếp giá | - DHTDM: [ Rỗi ] Sơ đồ
- NV: SDH1700114
- Số bản: 1
- Số bản rỗi: 1 (kể cả các bản được giữ chỗ)
- Số bản được giữ chỗ: 0
|
|
|
| | Các mục từ truy cập | |
|
