{{holding.name}}
ISBN: 9780198537816 出版年:2001 页码:556 Oxford University Press
The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science
{{comment.content}}