Logic for computer science

Name: Logic for computer science
Author: / Steve Reeves, Michael Clarke

Author

Edition 1

0-201-41643-3

list

شناسنامه

Main Entry

Reeves, Steve، نویسنده

Title and Author

Logic for computer science / / Steve Reeves, Michael Clarke

Publication Details

وکینگهام : : Addison Wesley Pub. Co، 1990م

Physical Description

260p.؛ ; 24 cm؛ : fig..

Subject

Logic, Symbolic and mathematical

series

(International computer science series؛ )

Added Identifiers

Clarke, Michael، نویسنده .

Language

انگلیسی

Retrieval Number

Congress:

انگليسي.