Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
SOME APPLICATIONS OF THE MEYER-MCCREIGHT ALGORITHM IN ABSTRACT COMPLEXITY THEORY
AFDELING ZUIVERE WISKUNDE / MATHEMATISCH CENTRUM : ZW 79/76
1976
Signatur: TCL2402
    Datensatz exportieren als...
  • BibTeX
Proof theory and logical complexity. 1
Proof theory and logical complexity (Alle Bände), Studies in proof theory : Monographs : 1 (Alle Bände)
1987
Signatur: TCL4836-1
    Datensatz exportieren als...
  • BibTeX
Selected papers on automath
Studies in logic and the foundations of mathematics : 133 (Alle Bände)
1994
Signatur: TCL4200
    Datensatz exportieren als...
  • BibTeX
A general algebraic semantics for sentenial logics
Lecture notes in logic : 7 (Alle Bände)
1996
Signatur: TCL4519
    Datensatz exportieren als...
  • BibTeX
The logical status of diagrams
1994
Signatur: TCL4284
    Datensatz exportieren als...
  • BibTeX
Formale Begriffsanalyse : mathematische Grundlagen
1996
Signatur: TCL4608
    Datensatz exportieren als...
  • BibTeX
Diamond, a paradox logic
Series on knots and everything : 14 (Alle Bände)
1997
Signatur: TCL4585
    Datensatz exportieren als...
  • BibTeX
Deduktionssysteme
1994
Signatur: TCL4462
    Datensatz exportieren als...
  • BibTeX
INDUCTION, ACCEPTANCE, AND RATIONAL BELIEF. ED
SYNTHESE LIBRARY. 26. : 26 (Alle Bände)
1970
Signatur: TCL2389
    Datensatz exportieren als...
  • BibTeX
Temporal logic
Library of exact philosophy : 3 (Alle Bände)
1971
Signatur: TCL2729
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    Datensatz exportieren als...
  • BibTeX
Injective choice functions
Lecture notes in mathematics : 1238 (Alle Bände)
1987
Signatur: TCL3505
    Datensatz exportieren als...
  • BibTeX
Theory of relations
Studies in logic and the foundations of mathematics : 118 (Alle Bände)
1986
Signatur: TCL3458
    Datensatz exportieren als...
  • BibTeX
Regressive sets and the theory of isols
Lecture notes in pure and applied mathematics : 66 (Alle Bände)
1. print, 1982
Signatur: TCL3204
    Datensatz exportieren als...
  • BibTeX
Ultraproducts of omega-groups (omega groups)
Dissertationen der Johannes-Kepler-Universität Linz : 56 (Alle Bände)
1986
Signatur: TCL3482
    Datensatz exportieren als...
  • BibTeX
Many valued logics. 1. Theoretical foundations
Many valued logics (Alle Bände)
1992
Signatur: TCL3995-1
    Datensatz exportieren als...
  • BibTeX
UNVOLLSTAENDIGKEIT UND UNENTSCHEIDBARKEIT. DIE MATH. RESULTATE VON GOEDEL, CHURCH, KLEENE, ROSSER U. IHRE ERKENNTNISTHEORET. BEDEUTUNG
3., verb. Aufl, 1973
Signatur: TCL2258(3)
    Datensatz exportieren als...
  • BibTeX
Many-valued logics
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
1958
Signatur: TCL1757
    Datensatz exportieren als...
  • BibTeX
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Logik von Wertungen
vom Autor erw. Fassung, 1975
Signatur: TCL2460
    Datensatz exportieren als...
  • BibTeX
ALGORITHMS AND RECURSIVE FUNCTIONS (ALGORITMY I REKURSIVNYE FUNKTSII, ENGL.). A.I. MAL'CEV
WOLTERS-NOORDHOFF SER. OF MONOGRAPHS AND TEXTBOOKS ON PURE AND APPLIED MATHEMATICS
1970
Signatur: TCL1121
    Datensatz exportieren als...
  • BibTeX
Subrecursion : functions and hierarchies
Oxford logic guides : 9 (Alle Bände), Oxford science publications
1984
Signatur: TCL3408
    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
Recursive functions
3., rev. ed, 1967
Signatur: TCL2193(3)
    Datensatz exportieren als...
  • BibTeX
THE PROBLEM OF INDUCTIVE LOGIC. ED
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
1968
Signatur: TCL1189
1 – 25 von 146
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen