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: |
Harper and Row computer science and technology series ;
5. |
Subject (ZB): | |
Classification: | |
Shelf Classification: |
ZB | |
---|---|
Reading Room ![]() ![]() |