1
by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010
Springer Berlin Heidelberg

2
by Gabbay, Dov M., Schlechta, Karl
Published 2010
Springer Berlin Heidelberg

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