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

2
by d’Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg

3
by d’Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002
Springer London

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