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
Generalized recursion theory : proceedings of the ... Oslo Symposium. 1. Proceedings of the 1972 Oslo Symposium
Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 79 (Alle Bände)
1974
Signatur: TCL2119-1
    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
Computability, enumerability, unsolvability : directions in recursion theory
London Mathematical Society lecture note series : 224 (Alle Bände)
1996
Signatur: TCL4535
    Datensatz exportieren als...
  • BibTeX
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    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
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    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
Techniques of admissible recursion theory
Lecture notes in mathematics : 1106 (Alle Bände)
1984
Signatur: TCL3343
    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
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)
3. Aufl, 1978
Signatur: TCL3026(3)
    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
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
Aspects of incompleteness
Lecture notes in logic : 10 (Alle Bände)
1997
Signatur: TCL4577
1 – 20 von 20
Suche als RSS-Feed
Aktive Filter
SystemstelleTCL
Suchergebnisse filtern
Filter anzeigen