Dov Gabbay
The International Directory Of Logicians
Who's Who In Logic
Editor: Dov Gabbay
College Publications (United Kingdom), 2009
Paperback, 408 pages
Metcalfe George, Olivetti Nicola, Gabbay Dov:
Proof Theory For Fuzzy Logics
Springer-Verlag New York Inc. (United States), 2008
Hardback, 284 pages
Gabbay Dov, Schmidt Renate A., Szalas Andrzej:
Second-Order Quantifier Elimination
Foundations, Computational Aspects And Applications
College Publications (United Kingdom), 2008
Paperback, 320 pages



