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
Rekursionstheorie
1993
Signatur: TCL4195
    Datensatz exportieren als...
  • BibTeX
Initial segments of degrees below O'
Memoirs of the American Mathematical Society : 241 (Alle Bände)
1981
    Datensatz exportieren als...
  • BibTeX
Fundamentals of generalized recursion theory
Studies in logic and the foundation of mathematics : 105 (Alle Bände)
1981
Signatur: TCL3181
    Datensatz exportieren als...
  • BibTeX
Higher recursion theory
Perspectives in mathematical logic
1990
Signatur: TCL3806
    Datensatz exportieren als...
  • BibTeX
Classical recursion theory
Studies in logic and the foundations of mathematics : ...
Signatur: TCL3686-...
    Datensatz exportieren als...
  • BibTeX
Recursion theory
Lecture notes in logic : 1 (Alle Bände)
1993
Signatur: M7454
    Datensatz exportieren als...
  • BibTeX
Recursion theory
Lecture notes in logic : 1 (Alle Bände)
[2016]
    Datensatz exportieren als...
  • BibTeX
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    Datensatz exportieren als...
  • BibTeX
Computability, enumerability, unsolvability : directions in recursion theory
London Mathematical Society lecture note series : 224 (Alle Bände)
1996
Signatur: TCL4535
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    Datensatz exportieren als...
  • BibTeX
Computable economics
The Arne Ryde memorial lectures : 5 (Alle Bände)
2000
Signatur: QGL4972
    Datensatz exportieren als...
  • BibTeX
Complexity, logic, and recursion theory
Lecture notes in pure and applied mathematics : 187 (Alle Bände)
1. print, 1997
Signatur: TAY940914
    Datensatz exportieren als...
  • BibTeX
The recursion method : application to many body dynamics
Lecture notes in physics : M, Monographs : 23 (Alle Bände)
1994
Signatur: TLL5498
    Datensatz exportieren als...
  • BibTeX
Recursive functionals
Studies in logic and the foundations of mathematics : 131 (Alle Bände)
1992
Signatur: TCL3929
    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
Recursion on the countable functionals
Lecture notes in mathematics : 811 (Alle Bände)
1980
Signatur: TCL3092
    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
Techniques of admissible recursion theory
Lecture notes in mathematics : 1106 (Alle Bände)
1984
Signatur: TCL3343
    Datensatz exportieren als...
  • BibTeX
Recursive aspects of descriptive set theory
Oxford logic guides : 11 (Alle Bände)
1985
Signatur: TCS2279
    Datensatz exportieren als...
  • BibTeX
Algorithm design : a recursion transformation framework
A Wiley-Interscience publication
1988
Signatur: TVI1790
    Datensatz exportieren als...
  • BibTeX
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Logical frameworks for truth and abstraction : an axiomatic study
Studies in logic and the foundations of mathematics : 135 (Alle Bände)
1996
Signatur: TCL4446
    Datensatz exportieren als...
  • BibTeX
Set theory, logic and their limitations
1996
Signatur: TCL4438
    Datensatz exportieren als...
  • BibTeX
The role of true finiteness in the admissible recursively enumerable degrees
Memoirs of the American Mathematical Society : 854 (Alle Bände)
2006
Signatur: TBR1389-854
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVI1740(2)
1 – 25 von 33
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Suchergebnisse filtern
Filter anzeigen