Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Propositional logic
Saved in:
Personal Name(s): | Gallier, J. H. |
---|---|
Imprint: |
New York, NY :
Harper and Row,
1986.
|
Physical Description: |
XV, 511 S. |
Note: |
englisch |
ISBN: |
9780060422257 0060422254 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Harper and Row computer science and technology series ;
5. |
Subject (ZB): | |
Classification: | |
Shelf Classification: |
ZB | |
---|---|
Reading Room ![]() ![]() |