1
Handbook of logic in computer science. 1. Background, mathematical structures /
Book
Other Personal Name(s): ...Maibaum, Thomas Stephen Edward...