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
Valuation theory in interaction
EMS series of congress reports
2014
Signatur: TAY110129
    Datensatz exportieren als...
  • BibTeX
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
Lecture notes in mathematics : 2111 (Alle Bände)
2014
Signatur: TAY120035
    Datensatz exportieren als...
  • BibTeX
Temporal logic : mathematical foundations and computational aspects. 1
Temporal logic (Alle Bände), ... : 28 (Alle Bände)
1994
Signatur: TCL4276-1
    Datensatz exportieren als...
  • BibTeX
Temporal logic : mathematical foundations and computational aspects. 2
Temporal logic (Alle Bände), Oxford logic guides : 40 (Alle Bände)
2000
Signatur: TCL4276-2
    Datensatz exportieren als...
  • BibTeX
Logic : mathematics, language, computer science, and philosophy. 2. Logic and computer science / by H. C. M. de Swart
Logic (Alle Bände)
1994
Signatur: TCL4268-2
    Datensatz exportieren als...
  • BibTeX
Lambda-calculus and combinators : an introduction
2008
Signatur: TCL3474
    Datensatz exportieren als...
  • BibTeX
Proceedings of a Colloquium on Modal and Many Valued Logics : Helsinki, 23 - 26 August, 1962
Acta philosophica Fennica : 16 (Alle Bände)
1963
Signatur: M38120
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Labelled deductive systems. 1
Labelled deductive systems (Alle Bände), ... : 33 (Alle Bände)
1996
Signatur: TCL4501-1
    Datensatz exportieren als...
  • BibTeX
Classical recursion theory. 1. The theory of functions and sets of natural numbers
Classical recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 125 (Alle Bände)
1989
Signatur: TCL3686-1
    Datensatz exportieren als...
  • BibTeX
Gödel's proof
Rev. ed, 2001
Signatur: TCL2143-EN
    Datensatz exportieren als...
  • BibTeX
Many valued logics. 1. Theoretical foundations
Many valued logics (Alle Bände)
1992
Signatur: TCL3995-1
    Datensatz exportieren als...
  • BibTeX
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    Datensatz exportieren als...
  • BibTeX
The syntax and semantics of infinitary languages
Lecture notes in mathematics : 72 (Alle Bände)
1968
Signatur: TCL1024
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    Datensatz exportieren als...
  • BibTeX
Ultraproducts of omega-groups (omega groups)
Dissertationen der Johannes-Kepler-Universität Linz : 56 (Alle Bände)
1986
Signatur: TCL3482
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. 1
Constructivism in mathematics (Alle Bände), Studies in logic and the foundations of mathematics : 121 (Alle Bände)
1988
Signatur: TCL3660-1
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. 2
Constructivism in mathematics (Alle Bände), Studies in logic and the foundations of mathematics : 123 (Alle Bände)
1988
Signatur: TCL3660-2
    Datensatz exportieren als...
  • BibTeX
Pseudoelementare Relationen und Aussagen vom Typ des Bernstein'schen Äquivalenzsatzes
Bonner mathematische Schriften : 95 (Alle Bände)
Als Ms. gedr, 1977
Signatur: TCL2698
    Datensatz exportieren als...
  • BibTeX
Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics
Studies in logic and the foundations of mathematics : 68 (Alle Bände)
1973
Signatur: TCL1359
    Datensatz exportieren als...
  • BibTeX
Mathematical interpretation of formal systems
Studies in logic and the foundations of mathematics
2. ed, 1971
Signatur: TCL1294(2)
    Datensatz exportieren als...
  • BibTeX
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Lecture notes in mathematics : 306 (Alle Bände)
1973
Signatur: TCL2216
    Datensatz exportieren als...
  • BibTeX
Specifications for a fuzzy system modeling language
1975
Signatur: TCL1943
    Datensatz exportieren als...
  • BibTeX
Intuitionistic logic model theory and forcing
Studies in logic and the foundations of mathematics
1969
Signatur: TCL2363
    Datensatz exportieren als...
  • BibTeX
Victoria Symposium on Nonstandard Analysis : University of Victoria 1972
Lecture notes in mathematics : 369 (Alle Bände)
1974
Signatur: TCL2185
1 – 25 von 56
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Autor / AutorinDunn, John M
SchlagwortAlgebra
SchlagwortAutomatisches Beweisverfahren
SchlagwortMehrwertige Logik
Suchergebnisse filtern
Filter anzeigen