Handbook of logic in computer science. 1. Background: mathematical structures
Bok Engelsk 1992 · Håndbøker
| Utgitt | Oxford : Clarendon Press , 1992
|
|---|---|
| Omfang | xii, 827 s.
|
| Emner | Computer science
Logic, Symbolic and mathematical Logikkprogrammering Matematisk logikk datamaskiner logikk edb matematisk |
| Sjanger | |
| ISBN | 0198537352
|
