00727nam a2200217Ia 4500 TDMU_31085 210410s9999 xx 000 0 und d 338.709597 A102 Agler, David W Symbolic logic syntax, semantics, and proof David W. Agler Lanham, Md. Rowman & Littlefield Publishers 2013 xv, 375 p. Includes bibliographical references and index Logic, Modern; Logic, Symbolic and mathematical; Logic ký hiệu http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=31085 Trung tâm Học liệu Trường Đại học Thủ Dầu Một