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
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modallogik
Grundlagen der Kommunikation : Bibliotheksausgabe
1. Aufl, 1978
Signatur: TCL1595-DT
    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
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
Lecture notes in mathematics : 37 (Alle Bände)
1967
Signatur: TCL1008
    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
The syntax and semantics of infinitary languages
Lecture notes in mathematics : 72 (Alle Bände)
1968
Signatur: TCL1024
    Datensatz exportieren als...
  • BibTeX
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    Datensatz exportieren als...
  • BibTeX
Temporal logic
Library of exact philosophy : 3 (Alle Bände)
1971
Signatur: TCL2729
    Datensatz exportieren als...
  • BibTeX
Studia logico-mathematica et philosophica : in honorem Rolf Nevanlinna die natali eius septuagesimo 22.10.1965
Acta philosophica Fennica : 18 (Alle Bände)
1965
Signatur: M38128
    Datensatz exportieren als...
  • BibTeX
Logische Sprachregeln : eine Einführung in die Logik
1975
Signatur: TCL2054
    Datensatz exportieren als...
  • BibTeX
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Logik und Grundlagen der Mathematik : 7 (Alle Bände)
1970
Signatur: TCL1139
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
Ergebnisse der Mathematik und ihrer Grenzgebiete : A,3,4 (Alle Bände)
Reprint [d. Ausg.] Berlin 1934, 1974
Signatur: TCL1244
    Datensatz exportieren als...
  • BibTeX
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    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
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
Hochschultext
1972
Signatur: TCL2240
    Datensatz exportieren als...
  • BibTeX
Untersuchungen über den Modalkalkül
1952
Signatur: TCL2630
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie und ihre Anwendungen
Die Mathematik
1981
Signatur: TCL3131
    Datensatz exportieren als...
  • BibTeX
Der Goedelsche Beweis
Scientia nova
2., unveränd. Aufl, 1979
Signatur: TCL2143(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe
Einführung in die mathematische Logik (Alle Bände)
1972
Signatur: TCL2088-2
    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
Einführung in die mathematische Logik und Modelltheorie
Vieweg-Studium : 60 (Alle Bände)
1986
Signatur: TCL3490
    Datensatz exportieren als...
  • BibTeX
Logik von Frage und Antwort
1985
Signatur: TCL3369
    Datensatz exportieren als...
  • BibTeX
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 1. Aussagenkalkül
Einführung in die mathematische Logik (Alle Bände), ... : 18 (Alle Bände)
6., völlig neubearb. Aufl, 1982
Signatur: TCL2088(6)-1
    Datensatz exportieren als...
  • BibTeX
Modelltheorie. 1
Modelltheorie (Alle Bände), BI-Hochschulskripten : 813,a (Alle Bände)
1971
Signatur: TCL1456-1
1 – 25 von 51
Suche als RSS-Feed
Aktive Filter
SchlagwortAutomatisches Beweisverfahren
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen