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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
The theory of logical types
Monographs in modern logic series
1971
Signatur: TCL1765
    Datensatz exportieren als...
  • BibTeX
Logic in algebraic form : three languages and theories
Studies in logic and the foundations of mathematics : 72 (Alle Bände)
1974
Signatur: TCL2101
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe
Einführung in die mathematische Logik (Alle Bände)
1972
Signatur: TCL2088-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    Datensatz exportieren als...
  • BibTeX
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Logik und Grundlagen der Mathematik : 7 (Alle Bände)
1970
Signatur: TCL1139
    Datensatz exportieren als...
  • BibTeX
Classical propositional operators : an exercise in the foundations of logic
Oxford logic guides : 5 (Alle Bände), Oxford science publications
1982
Signatur: TCL3220
    Datensatz exportieren als...
  • BibTeX
THE LOGIC OF THE PLAUSIBLE AND SOME OF ITS APPLICATIONS
1974
Signatur: TCL1781
    Datensatz exportieren als...
  • BibTeX
Multiple-conclusion logic
1978
Signatur: TCL2779
    Datensatz exportieren als...
  • BibTeX
Logic : techniques of formal reasoning
1964
Signatur: TCL2371
    Datensatz exportieren als...
  • BibTeX
Precision, language and logic
1. ed, 1977
Signatur: TCL2614
    Datensatz exportieren als...
  • BibTeX
Logic : mathematics, language, computer science, and philosophy
Signatur: TCL4268-...
    Datensatz exportieren als...
  • BibTeX
An algebraic approach to non-classical logics
Studies in logic and the foundations of mathematics : 78 (Alle Bände)
1974
Signatur: TCL1252
    Datensatz exportieren als...
  • BibTeX
Logische Sprachregeln : eine Einführung in die Logik
1975
Signatur: TCL2054
    Datensatz exportieren als...
  • BibTeX
Truth functions and the problem of their realization by two-terminal graphs
1968
Signatur: TCL2127
    Datensatz exportieren als...
  • BibTeX
Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976
Studies in logic and the foundations of mathematics : 89 (Alle Bände)
1977
Signatur: TCL2559
    Datensatz exportieren als...
  • BibTeX
Einführung in die Fuzzy-Logik
2., vollst. überarb. und erw. Aufl, 1994
Signatur: TCL3953(2)
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic for mathematicians
Graduate texts in mathematics : 53 (Alle Bände)
2. ed, 2010
Signatur: TCL2711(2)
    Datensatz exportieren als...
  • BibTeX
Inconsistent mathematics
Mathematics and its applications : 312 (Alle Bände)
1995
Signatur: TCL4242
    Datensatz exportieren als...
  • BibTeX
In the light of logic
Logic and computation in philosophy
1998
Signatur: TBP4086
    Datensatz exportieren als...
  • BibTeX
Many valued logics
Oxford logic guides : 25 (Alle Bände), Oxford science publications
1993
Signatur: TCL4080
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    Datensatz exportieren als...
  • BibTeX
Nonmonotonic logic : context dependent reasoning
Artificial intelligence
1993
Signatur: TCL4064
    Datensatz exportieren als...
  • BibTeX
Essentials of symbolic logic
1988
Signatur: TCL3694
    Datensatz exportieren als...
  • BibTeX
An introduction to mathematical logic and type theory : to truth through proof
Computer science and applied mathematics
1. [Dr.], 1986
Signatur: TCL3571
    Datensatz exportieren als...
  • BibTeX
Deduction : introductory symbolic logic
1. [Dr.], 1987
Signatur: TCL3717
1 – 25 von 98
Suche als RSS-Feed
Aktive Filter
Autor / AutorinKanade, Takeo
SystemstelleTCL
Art des MediumsGedruckt
ErscheinungsformMonographie
Suchergebnisse filtern
Filter anzeigen