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 ![]() ![]() |