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
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    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
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
Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen
2008
Signatur: TCL4878
    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
Deduktionssysteme
1994
Signatur: TCL4462
    Datensatz exportieren als...
  • BibTeX
Einführung in die Fuzzy-Logik
2., vollst. überarb. und erw. Aufl, 1994
Signatur: TCL3953(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Mathematisch-naturwissenschaftliche Bibliothek : ...
1959-
Signatur: TCL2088-...
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Signatur: TCL2088-...
    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
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
Einführung in die Modallogik
Grundlagen der Kommunikation : Bibliotheksausgabe
1. Aufl, 1978
Signatur: TCL1595-DT
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie : Vorlesungen
Spektrum-Lehrbuch
1995
Signatur: TCL4323
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie und ihre Anwendungen
Die Mathematik
1981
Signatur: TCL3131
    Datensatz exportieren als...
  • BibTeX
Elementare Beweistheorie
1994
Signatur: TCL4234
    Datensatz exportieren als...
  • BibTeX
Formale Begriffsanalyse : mathematische Grundlagen
1996
Signatur: TCL4608
    Datensatz exportieren als...
  • BibTeX
Fuzzy control : Theorie und Industrieeinsatz
1. Aufl, 2000
Signatur: WGD1875
    Datensatz exportieren als...
  • BibTeX
Fuzzy logic : Einführung in Theorie und Anwendungen
Springer-Lehrbuch
2., erw. Aufl, 1995
Signatur: TCL4129(2)
    Datensatz exportieren als...
  • BibTeX
Die Gödel'schen Unvollständigkeitssätze : eine geführte Reise durch Kurt Gödels historischen Beweis
2013
Signatur: TCL4828
    Datensatz exportieren als...
  • BibTeX
Der Goedelsche Beweis
Scientia nova
2., unveränd. Aufl, 1979
Signatur: TCL2143(2)
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Logik von Wertungen
vom Autor erw. Fassung, 1975
Signatur: TCL2460
    Datensatz exportieren als...
  • BibTeX
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
2., verb. Aufl, 1991
Signatur: TCL3775(2)
1 – 25 von 52
Suche als RSS-Feed
Aktive Filter
Autor / AutorinFlum, Jörg
SpracheDeutsch
Art des MediumsGedruckt
Suchergebnisse filtern
Filter anzeigen