Liknande böcker
Handbook of logic in computer science
Bok av S Abramsky
A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered.