Mathematical logic for computer science
M. Ben-Ari
Bok Engelsk 1993
| Utgitt | New York : Prentice Hall , 1993
|
|---|---|
| Omfang | xi, 305 s.
|
| Emner | Logic, Symbolic and mathematical
Matematisk logikk matematisk logikk informatikk matematisk-logikk matematikk algoritmer logikk matematisk databehandling symbolsk programmering |
| ISBN | 013564139X
|
