Mathematical logic for computer science /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Lu, Zhongwan.
Materialtyp: Sách giấy
Publicerad: Singapore ; Teaneck, N.J. : World Scientific, c1989.
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt