202
Published 2007
Springer Berlin Heidelberg

203
by Wilson, Michael
Published 2008
Springer Berlin Heidelberg

213
Published 2009
Springer Berlin Heidelberg

214
by Hompel, Michael, Schmidt, Thorsten, Nagel, Lars
Published 2007
Springer Berlin Heidelberg

215
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg

220
Published 2010
Springer Berlin Heidelberg