search result

Cover von Labelled deductive systems

Labelled deductive systems

Gabbay, Dov M.
Oxford, Clarendon Press
Media group: GESAMTWERK
Volumes loading
Cover von What is a logical system?
Search for this author
Year: 1994
Publisher: Oxford, Clarendon Press
Series: Studies in logic and computation; 4
Media group: MONOGRAPHIE
Cover von Foundations of revision and contraction; 1
the third de Morgan conference : special issue : S. 1 - 158
Search for this author
Year: 2003
Publisher: Oxford, Oxford University Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Fibring logics
Author: Gabbay, Dov M. Search for this author
Year: 1999
Publisher: Oxford, Clarendon Press
Series: Oxford logic guides; 38
Media group: MONOGRAPHIE
Cover von Elementary logics
a procedural perspective
Author: Gabbay, Dov M. Search for this author
Year: 1998
Publisher: Englewood Cliffs, Prentice Hall
Series: Prentice Hall series in computer science
Media group: MONOGRAPHIE
Cover von Special issue on proof theory and natural language
Search for this author
Year: 1996
Publisher: Dordrecht, Kluwer
Series: Journal of logic, language and information : 5. 1995, 3/4
Media group: SPECIAL ISSUE
Cover von Vol. 14.; Handbook of philosophical logic
Search for this author
Year: 2007
Publisher: Berlin, Springer
Volume: Vol. 14.
Media group: MONOGRAPHIE
Cover von Interpolation and definability
modal and intuitionistic logics
Author: Gabbay, Dov M.; Maksimova, Larisa Search for this author
Year: 2005
Publisher: Oxford, Oxford University Press
Series: Oxford logic guides; 46
Media group: MONOGRAPHIE
Cover von Volume 9.; Handbook of philosophical logic
Search for this author
Year: 2002
Publisher: Boston, Kluwer
Volume: Volume 9.
Media group: MONOGRAPHIE
Cover von Vol. 4.; Abductive reasoning and learning
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Volume: Vol. 4.
Media group: MONOGRAPHIE
OPEN V 11.1.0.0