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
Grundlagen der Logik von Wertungen
vom Autor erw. Fassung, 1975
Signatur: TCL2460
    Datensatz exportieren als...
  • BibTeX
Modelltheorie. 1
Modelltheorie (Alle Bände), BI-Hochschulskripten : 813,a (Alle Bände)
1971
Signatur: TCL1456-1
    Datensatz exportieren als...
  • BibTeX
Modelltheorie. 2
Modelltheorie (Alle Bände), BI-Hochschultaschenbücher : 815 (Alle Bände)
1972
Signatur: TCL1456-2
    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
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
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
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    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
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
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
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
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
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
Hochschultext
1972
Signatur: TCL2240
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie und ihre Anwendungen
Die Mathematik
1981
Signatur: TCL3131
    Datensatz exportieren als...
  • BibTeX
Mehrwertige Logik : eine Einführung in Theorie und Anwendungen
Logica nova
1989
Signatur: HLH2517
    Datensatz exportieren als...
  • BibTeX
Modelltheorie
BI-Hochschulskripten : ...
Signatur: TCL1456-...
    Datensatz exportieren als...
  • BibTeX
Many valued logics
1992-
Signatur: TCL3995-...
    Datensatz exportieren als...
  • BibTeX
Beweistheorie
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete : 103 (Alle Bände)
1960
Signatur: TCL2583
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Mathematisch-naturwissenschaftliche Bibliothek : ...
1959-
Signatur: TCL2088-...
    Datensatz exportieren als...
  • BibTeX
Mustergesteuerte Strategien für das Beweisen von Gleichungen
[1995]
Signatur: D10172
1 – 25 von 52
Suche als RSS-Feed
Aktive Filter
SystemstelleTVC
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen