The logical basis for computer programming. 1. Deductive reasoning.
Saved in:
| Personal Name(s): | Manna, Z. |
|---|---|
| Waldinger, R. | |
| Imprint: |
Reading, MA :
Addison Wesley,
1985.
|
| Physical Description: |
XII, 618 S. |
| Note: |
englisch |
| ISBN: |
0201182602 9780201182606 |
| Series Title: |
Addison Wesley series in computer science.
Logical basis for computer programming ; 1. |
| Keywords: |
propositional logic predicate logic mathematical induction strings trees lists sets bags tuples |
| Classification: | |
| Shelf Classification: |
| ZB | |
|---|---|
Reading Room  Call Number: MDB 021-01 Barcode: 1090105837
Available
|
|