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
Admissibility of logical inference rules
Studies in logic and the foundation of mathematics : 136 (Alle Bände)
1997
Signatur: TCL4527
    Datensatz exportieren als...
  • BibTeX
Admissible sets and structures : an approach to definability theory
Perspectives in mathematical logic
1975
Signatur: TCL2282
    Datensatz exportieren als...
  • BibTeX
Aleph-zero-categoricity over a predicate
1988
Signatur: D442
    Datensatz exportieren als...
  • BibTeX
Algebra of proofs
Studies in logic and the foundations of mathematics : 88 (Alle Bände)
1978
Signatur: TCL2892
    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
An algebraic introduction to mathematical logic
Graduate texts in mathematics : 22 (Alle Bände)
1975
Signatur: TCL1715
    Datensatz exportieren als...
  • BibTeX
Algebraic methods of mathematical logic
1967
Signatur: TCL1082
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    Datensatz exportieren als...
  • BibTeX
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    Datensatz exportieren als...
  • BibTeX
ALGORITHMS AND RECURSIVE FUNCTIONS (ALGORITMY I REKURSIVNYE FUNKTSII, ENGL.). A.I. MAL'CEV
WOLTERS-NOORDHOFF SER. OF MONOGRAPHS AND TEXTBOOKS ON PURE AND APPLIED MATHEMATICS
1970
Signatur: TCL1121
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Applied proof theory : proof interpretations and their use in mathematics
Springer monographs in mathematics
2008
Signatur: TCL4810
    Datensatz exportieren als...
  • BibTeX
Around classification theory of models
Lecture notes in mathematics : 1182 (Alle Bände)
1986
Signatur: TCL3466
    Datensatz exportieren als...
  • BibTeX
Aspects of constructibility
Lecture notes in mathematics : 354 (Alle Bände)
1973
Signatur: TCL1147
    Datensatz exportieren als...
  • BibTeX
Aspects of definability
Acta philosophica Fennica : 29,2,3 (Alle Bände)
1977
Signatur: M38134
    Datensatz exportieren als...
  • BibTeX
Aspects of incompleteness
Lecture notes in logic : 10 (Alle Bände)
1997
Signatur: TCL4577
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
2. Aufl, 1971
Signatur: TCL1016(2)
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
3. Aufl, 1978
Signatur: TCL3026(3)
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik : eine leicht verständliche Einführung in elementare Probleme der modernen Logik
Programm moderne Mathematik
2. Aufl, 1974
Signatur: TCL1391(2)
    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
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006
    Datensatz exportieren als...
  • BibTeX
Automated theorem proving
1982
Signatur: TCL3246
    Datensatz exportieren als...
  • BibTeX
Automated theorem proving
Artificial intelligence
2., rev. ed, 1987
Signatur: TCL3246(2)
    Datensatz exportieren als...
  • BibTeX
Automated theorem proving : a logical basis
Fundamental studies in computer science : 6 (Alle Bände)
1978
Signatur: TCL2957
    Datensatz exportieren als...
  • BibTeX
Automated theorem-proving in non-classical logics
Research notes in theoretical computer science
1988
Signatur: TCL3652
1 – 25 von 356
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCresswell, Maxwell J
Suchergebnisse filtern
Filter anzeigen