This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
