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: |
/* 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. */?>
Addison Wesley series in computer science.
/* 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. */?> Logical basis for computer programming ; 1. |
Keywords: |
propositional logic predicate logic mathematical induction strings trees lists sets bags tuples |
Classification: | |
Shelf Classification: |
LEADER | 01074cam a2200373 n 4500 | ||
---|---|---|---|
001 | 132357 | ||
005 | 19990323141000.0 | ||
008 | r1985 | ||
020 | |a 0201182602 | ||
035 | |a (Sirsi) a117614 | ||
084 | 0 | |a MDB - Logics |2 ZB | |
084 | 1 | |a MDB - Logik |2 LS | |
245 | 0 | 4 | |a The logical basis for computer programming. |n 1. |p Deductive reasoning. |
260 | |a Reading, MA : |b Addison Wesley, |c 1985. | ||
300 | |a XII, 618 S. | ||
490 | 0 | |a Addison Wesley series in computer science. | |
490 | 0 | |a Logical basis for computer programming ; |v 1. | |
500 | |a englisch | ||
596 | |a 1 | ||
653 | |a propositional logic | ||
653 | |a predicate logic | ||
653 | |a mathematical induction | ||
653 | |a strings | ||
653 | |a trees | ||
653 | |a lists | ||
653 | |a sets | ||
653 | |a bags | ||
653 | |a tuples | ||
700 | 1 | |a Manna, Z. | |
700 | 1 | |a Waldinger, R. | |
900 | |a B 067664'01'-001 | ||
900 | |a MDB 021-01 | ||
908 | |a Monographie, Sammelwerk | ||
949 | |a MDB 021-01 |w LC |c 1 |i 1090105837 |l STACKS |m ZB |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-M |1 PRINT |