Dov Gabbay

title ISBN-13year of publica-
tion
other author(s)
Elementary Logics: A Procedural Perspective
978-0-13-726365-31998
Handbook of Formal Argumentation
978-1-84890-275-62018Pietro Baroni · Massimilino Giacomin
Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1
978-0-444-51493-62005Michael Fisher · Lluis Vila
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London 978-90-5356-356-42008Benedikt Löwe · Johan van Benthem
Journal of Applied Logics - IfCoLog Journal: Volume 5, number 8, November 2018
978-1-84890-291-62018
Mathematical Problems from Applied Logic II: Logics for the XXIst Century
978-0-387-69244-92007Sergei Goncharov · Michael Zakharyaschev
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ... Notes in Computer Science , Band 1244)
978-3-540-63095-12008Rudolf Kruse · Hans J. Ohlbach · Andreas Nonnengart
Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications
978-1-904987-56-72008Renate A. Schmidt · Andrzej Szalas
The Rise of Modern Logic: from Leibniz to Frege, Volume 3
978-0-444-51611-42004John Hayden Woods

D G · D. Gabbay · Dov. M., Ed. Gabbay · Dov M. Gabbay · Dov M. M. Gabbay

Amsterdam University Press · College Publications · Elsevier Science · Prentice Hall · Springer

 

Dov Gaponov