Logic for computer science

Logic for computer science

Tüm sürümleri göster (2)
Detaylı Bibliyografya
Yazar: Reeves, Steve 1957-
Diğer Yazarlar: Clarke, Michael 1940-
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Wokingham, England Addison-Wesley c1990.
Konular:
Logic, Symbolic and mathematical.