1
Published 2003
Springer Netherlands
... to that, logicians interested in the applications of their field and logic students in mathematics, computer science...