Ingen varer
Kassen / rediger kurv
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.