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
Computability in analysis and physics
Perspectives in mathematical logic
1989
Signatur: TCL3709
    Datensatz exportieren als...
  • BibTeX
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    Datensatz exportieren als...
  • BibTeX
Büchi's monadic second order successor arithmetic
Lecture notes in mathematics : 120 (Alle Bände), Decidable theories : 1 (Alle Bände)
1970
Signatur: TCL2745
    Datensatz exportieren als...
  • BibTeX
Deducibility and decidability
1990
Signatur: TCL3848
    Datensatz exportieren als...
  • BibTeX
Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976
Studies in logic and the foundations of mathematics : 89 (Alle Bände)
1977
Signatur: TCL2559
    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
Recursive analysis
Studies in logic and the foundations of mathematics
1961
Signatur: TCL3377
    Datensatz exportieren als...
  • BibTeX
Formal number theory and computability : a workbook
Oxford logic guides : 7 (Alle Bände), Oxford science publications
1982
Signatur: TCL3288
    Datensatz exportieren als...
  • BibTeX
The computational complexity of logical theories
Lecture notes in mathematics : 718 (Alle Bände)
1979
Signatur: TCL2973
    Datensatz exportieren als...
  • BibTeX
Computable set theory. 1
Computable set theory (Alle Bände), The international series of monographs on computer science : 6 (Alle Bände)
1989
Signatur: TCL3791-1
1 – 11 von 11
Suche als RSS-Feed
Aktive Filter
Autor / AutorinAsser, Günter
Autor / AutorinDunn, John M
Autor / AutorinFlum, Jörg
SchlagwortAutomatisches Beweisverfahren
SchlagwortMathematik
SchlagwortBerechenbarkeit
Suchergebnisse filtern
Filter anzeigen