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  Call Number: MDB 022 Barcode: 1089102330
Available
|
|