1
Published 2006
Springer New York
... to logicians and mathematicians in general. Contributors include: Franz Baader (Germany) and Ralf Küsters...