Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 1. Greek, Indian and Arabic logic / ed. by Dov M. Gabbay
Handbook of the history of logic (Alle Bände)
1. ed, 2004
Signatur: HLG1697-1
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 8. The many valued and nonmonotonic turn in logic / ed. by Dov M. Gabbay
Handbook of the history of logic (Alle Bände)
2007
Signatur: HLG1697-8
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 7. Logic and the modalities in the twentieth century / ed. by Dov M. Gabbay
Handbook of the history of logic (Alle Bände)
1. ed, 2006
Signatur: HLG1697-7
    Datensatz exportieren als...
  • BibTeX
Abductive Reasoning and Learning [electronic resource]
1st ed. 2000, 2000
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic
2004-
Signatur: HLG1697-...
    Datensatz exportieren als...
  • BibTeX
Handbook of the logic of argument and inference : the turn towards the practical [electronic resource]
1st ed
    Datensatz exportieren als...
  • BibTeX
Philosophy of Linguistics
2012-02-02
    Datensatz exportieren als...
  • BibTeX
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
1st ed. 1976, [1976]
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming. 1. Logical foundations
Handbook of logic in artificial intelligence and logic programming (Alle Bände)
1993
Signatur: TVU4594-1
    Datensatz exportieren als...
  • BibTeX
Semantical investigations in Heyting's intuitionistic logic
Synthese library : 148 (Alle Bände)
1981
Signatur: HLH1888
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 1. Elements of classical logic
Handbook of philosophical logic (Alle Bände), Synthese library : 164 (Alle Bände)
1983
Signatur: HLF2096-1
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 2. Extensions of classical logic
Handbook of philosophical logic (Alle Bände), Synthese library : 165 (Alle Bände)
1984
Signatur: HLF2096-2
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 3. Alternatives to classical logic
Handbook of philosophical logic (Alle Bände), Synthese library : 166 (Alle Bände)
1986
Signatur: HLF2096-3
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 4. Topics in the philosophy of language
Handbook of philosophical logic (Alle Bände), Synthese library : 167 (Alle Bände)
1989
Signatur: HLF2096-4
    Datensatz exportieren als...
  • BibTeX
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Synthese library : 92 (Alle Bände)
1976
Signatur: HLF1553
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming. 3. Nonmonotonic reasoning and uncertain reasoning
Handbook of logic in artificial intelligence and logic programming (Alle Bände)
1994
Signatur: TVU4594-3
    Datensatz exportieren als...
  • BibTeX
Labelled deductive systems
Oxford logic guides : ...
Signatur: TCL4501-...
    Datensatz exportieren als...
  • BibTeX
Many-dimensional modal logics : theory and applications
1st ed, 2003
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic
Synthese library : ...
1983-
Signatur: HLF2096-...
    Datensatz exportieren als...
  • BibTeX
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences : 92
1976
    Datensatz exportieren als...
  • BibTeX
Reactive Kripke semantics
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming
Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications
Signatur: TVU4594-...
    Datensatz exportieren als...
  • BibTeX
Semantical Investigations in Heyting�́�s Intuitionistic Logic
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science : 148
1981
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming. 4. Epistemic and temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Alle Bände)
1995
Signatur: TVU4594-4
    Datensatz exportieren als...
  • BibTeX
Automated practical reasoning and argumentation
Dagstuhl-Seminar-Report : 70 (Alle Bände)
1993
Signatur: TUF1092-70
1 – 25 von 141
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen