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
Aleph-zero-categoricity over a predicate
1988
Signatur: D442
    Datensatz exportieren als...
  • BibTeX
ON SPECTRA
1977
Signatur: TCL2444
    Datensatz exportieren als...
  • BibTeX
A resolution calculus for modal logics
1988
Signatur: D414
    Datensatz exportieren als...
  • BibTeX
Partial-valued logic
1980
Signatur: D592
    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
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    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
SOME PROBLEMS IN MATHEMATICAL LOGIC
1967
Signatur: TCL2795
    Datensatz exportieren als...
  • BibTeX
A many-sorted calculus based on resolution and paramodulation
Research notes in artificial intelligence
1987
Signatur: TCL3636
    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
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    Datensatz exportieren als...
  • BibTeX
A natural deduction-like calculus for structured specifiations
1996
Signatur: D11315
    Datensatz exportieren als...
  • BibTeX
Mustergesteuerte Strategien für das Beweisen von Gleichungen
[1995]
Signatur: D10172
    Datensatz exportieren als...
  • BibTeX
Eine Klassen-definierende höherstufige Attributenlogik
1989
Signatur: DQ1332
    Datensatz exportieren als...
  • BibTeX
Ordering refinements of resolution
1995
Signatur: D10725
    Datensatz exportieren als...
  • BibTeX
Untersuchungen über das Kernmodell für Maße der Ordnung Null
1999
Signatur: DQ2264
    Datensatz exportieren als...
  • BibTeX
Contributions to stable model theory
1986
Signatur: D5377
    Datensatz exportieren als...
  • BibTeX
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
1 – 21 von 21
Suche als RSS-Feed
Aktive Filter
Autor / AutorinTroelstra, Anne S
Art des InhaltsHochschulschrift (Sonstige)
Suchergebnisse filtern
Filter anzeigen