PakCat catalogue record

Logic for computer science (E-BOOK)

By Reeves, Steve

Bibliographic details

ISBN
0201416433
Publisher
Addison-Wesley
Publication place
Wokingham, England
Publication year
1990
Material type
Book
Physical description
xi, 260 p.

Additional authors

Clarke, Michael

Subjects

Logic, Symbolic and mathematical., Logic for computer science (E-BOOK)

Related catalogue records

Element of the theory of computation Lewis, Harry R. Critical thinking Watson, Jamie Carlin Introduction to logic Copi, Irving M. Logic and knowledge Marsh, Robert Charles Introduction to Logic Copi, Irvin M. Studies in foundations and combinatorics ROTA, GIAN-CARLO Introduction logic Copi, Iruing M. introduction logic Copi Iruing G.