Mathematical logic for computer science / M. Ben - Ari
| Main Author: | Ben - Ari, M. |
|---|---|
| Format: | MONOGRAPHS |
| Language: | English |
| Published: |
New York : Prentice Hall, 1993 |
| Series: |
Prentice-Hall international series in computer science
|
| Subjects: |
Algorithms.
Calculus of operations. Computer programs. Logic, Symbolic and mathematical. Set theory. |
| Tags: |
Add
No Tags, Be the first to tag this record!
|
| LEADER | 00882nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | 0014841 | ||
| 003 | Th-MUT | ||
| 008 | 181106s9999 xx 000 0 eng d | ||
| 020 | |a 013564139X |c 509 | ||
| 040 | |a DLC |c MUT | ||
| 050 | 0 | 0 | |a QA9 |b B45M38 1993 |
| 100 | 1 | |a Ben - Ari, M. | |
| 245 | 1 | 0 | |a Mathematical logic for computer science |b / |c M. Ben - Ari |
| 260 | |a New York : |b Prentice Hall, |c 1993 | ||
| 300 | |a xi, 305 p. : |b charts, tables ; |c 23 cm. | ||
| 440 | 0 | |a Prentice-Hall international series in computer science | |
| 500 | |a Includes index. | ||
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Calculus of operations. | |
| 650 | 0 | |a Computer programs. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Set theory. | |
| 991 | |a MONOGRAPHS |b 9 |c 2018-11-07 02:45:45 |d 2022-10-18 09:54:59 |e mut |f n |g 2018-11-07 |h n |i a |j m |k |l a |m |n a |o |p b |q |r nyu |s eng |t 1993 |v Mathematical logic for computer science / | ||