Bitte beachten Sie auch das verfügbare Angebot an E-Books, die zurzeit noch nicht in unserem Katalog nachgewiesen sind, aber über die Verlagsportale bereits freigeschaltet sind.
Handbook of the philosophy of science
Gabbay, Dov M. [Herausgeber]; [u.a.] - 2007 -
Labelled deductive systems
  • Oxford logic guides
Gabbay, Dov M.
Signatur: TCL4501-...
Labelled deductive systems Bd. 1
Gabbay, Dov M. - 1996
Signatur: TCL4501-1
Automated practical reasoning and argumentation
Gabbay, Dov M. [Herausgeber]; [u.a.] - 1993
Signatur: TUF1092-70
Handbook of logic in artificial intelligence and logic programming
  • Handbooks of logic in computer science and artificial intelligence and logic programming
  • Oxford science publications
Gabbay, Dov M. [Herausgeber]; [u.a.]
Signatur: TVU4594-...
Handbook of logic in artificial intelligence and logic programming / Bd. 1 : Logical foundations
Gabbay, Dov M. [Herausgeber] - 1993
Signatur: TVU4594-1
Handbook of logic in artificial intelligence and logic programming / Bd. 3 : Nonmonotonic reasoning and uncertain reasoning
Gabbay, Dov M. [Herausgeber] - 1994
Signatur: TVU4594-3
Handbook of logic in artificial intelligence and logic programming / Bd. 4 : Epistemic and temporal reasoning
Gabbay, Dov M. [Herausgeber] - 1995
Signatur: TVU4594-4
What is negation?
Gabbay, Dov M. [Herausgeber]; [u.a.] - 1999
Signatur: HLH3076
Handbook of the philosophy of science [Elektronische Ressource]
Gabbay, Dov M. [Herausgeber]; [u.a.] - 2007 -
Semantical investigations in Heyting's intuitionistic logic
Gabbay, Dov M. - 1981
Signatur: HLH1888
Handbook of philosophical logic
  • Synthese library
Gabbay, Dov M. [Herausgeber]; [u.a.] - 1983 -
Signatur: HLF2096-...
Handbook of philosophical logic / Bd. 1 : Elements of classical logic
Gabbay, Dov M. [Herausgeber] - 1983
Signatur: HLF2096-1
Handbook of philosophical logic / Bd. 2 : Extensions of classical logic
Gabbay, Dov M. [Herausgeber] - 1984
Signatur: HLF2096-2
Handbook of philosophical logic / Bd. 3 : Alternatives to classical logic
Gabbay, Dov M. [Herausgeber] - 1986
Signatur: HLF2096-3
Handbook of philosophical logic / Bd. 4 : Topics in the philosophy of language
Gabbay, Dov M. [Herausgeber] - 1989
Signatur: HLF2096-4
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Gabbay, Dov M. - 1976
Signatur: HLF1553
Handbook of the history of logic
Gabbay, Dov M. [Herausgeber]; [u.a.] - 2004 -
Signatur: HLG1697-...
Handbook of the history of logic / Bd. 3 : The rise of modern logic : from Leibniz to Frege
Gabbay, Dov M. [Herausgeber] - 1. ed. - 2004
Signatur: HLG1697-3
Handbook of the history of logic / Bd. 1 : Greek, Indian and Arabic logic
Gabbay, Dov M. [Herausgeber]; [u.a.] - 1. ed. - 2004
Signatur: HLG1697-1
Handbook of the history of logic / Bd. 7 : Logic and the modalities in the twentieth century
Gabbay, Dov M. [Herausgeber]; [u.a.] - 1. ed. - 2006
Signatur: HLG1697-7
Handbook of the history of logic / Bd. 8 : The many valued and nonmonotonic turn in logic
Gabbay, Dov M. [Herausgeber]; [u.a.] - 2007
Signatur: HLG1697-8
Handbook of the history of logic / Bd. 4 : British logic in the nineteenth century
Gabbay, Dov M. [Herausgeber] - 1. ed. - 2008
Signatur: HLG1697-4
Temporal logic : mathematical foundations and computational aspects
  • Oxford logic guides
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark - 1994 -
Signatur: TCL4276
Temporal logic : mathematical foundations and computational aspects Bd. 1
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark - 1994
Signatur: TCL4276-1
Nach oben
Die Universität der Informationsgesellschaft