導出完成 — 

Symbolic logic syntax, semantics, and proof

Includes bibliographical references and index

Zapisane w:
Opis bibliograficzny
1. autor: Agler, David W
Format: Książka
Język:Undetermined
Wydane: Lanham, Md. Rowman & Littlefield Publishers 2013
Hasła przedmiotowe:
Dostęp online:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=31085
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một