Logic for computer science

Logic for computer science

Pokaži sve verzije (2)
Bibliografski detalji
Glavni autor: Reeves, Steve 1957-
Daljnji autori: Clarke, Michael 1940-
Format: Knjiga
Jezik:English
Izdano: Wokingham, England Addison-Wesley c1990.
Teme:
Logic, Symbolic and mathematical.