![book Analysis and synthesis of logics: How to cut and paste reasoning systems](/covers/files_170/2358000/13d61da430ad740a487a66f742004f0a-g.jpg)
- Author: Gouveia Paula, Coniglio Marcelo, Sernadas Cristina, Carnielli Walter, Gabbay Dov M
- Language: English
- Year: 2008
![book Many dimensional modal logics : theory and applications](/covers/files_170/2227000/9b29945579c137001ab66b18305e7c5c-d.jpg)
- Author: Gabbay Dov M
- Language: English
- Year: 2003
![book Handbook of Paraconsistency](/covers/files_170/2221000/b6f4f438493ac06e79906254296f2173-d.jpg)
- Author: Béziau Jean-Yves, Carnielli Walter Alexandre, Gabbay Dov M.
- Language: English
- Year: 2007
![book Handbook of the history of logic. Vol. 09. Computational logic](/covers/files_170/2129000/67ecee78be30713cd55e1206d90330fa-d.jpg)
- Author: Gabbay Dov M., Siekmann Jörg H., Woods John Hayden (eds.)
- Language: English
- Year: 2014
![book An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof](/covers/files_170/2129000/4711f22b2df7448e6e81856fa418f7b1-d.jpg)
- Author: Andrews Peter B., Barwise Jon, Gabbay Dov M
- Language: English
- Year: 2002
![book Philosophy of Physics](/covers/files_170/1165000/160a84abe3486645f72f328aa8ab2fc7-g.jpg)
- Author: Butterfield Jeremy, Earman John, Gabbay Dov M., Thagard Paul, Woods John
- Language: English
- Year: 2006
![book Philosophy of Linguistics](/covers/files_170/1042000/b209eaa7f1e646bb12baf39c2cfc130d-d.gif)
- Author: Gabbay Dov M. (Auth.)
- Language: English
- Year: 2012