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
Foundations without foundationalism : a case for second order logic
Oxford logic guides; 17 : 17 (Alle Bände)
1991
Signatur: TCL3898
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006
    Datensatz exportieren als...
  • BibTeX
The incompleteness phenomenon : a new course in mathematical logic
1995
Signatur: TCL4420
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Subsystems of second order arithmetic
Perspectives in mathematical logic
1999
Signatur: TCL4640
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic for mathematicians
Graduate texts in mathematics : 53 (Alle Bände)
2. ed, 2010
Signatur: TCL2711(2)
    Datensatz exportieren als...
  • BibTeX
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Lecture notes in mathematics : 306 (Alle Bände)
1973
Signatur: TCL2216
    Datensatz exportieren als...
  • BibTeX
Truth functions and the problem of their realization by two-terminal graphs
1968
Signatur: TCL2127
    Datensatz exportieren als...
  • BibTeX
Essentials of symbolic logic
1988
Signatur: TCL3694
    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
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
Annals of mathematics studies : 206 (Alle Bände)
2020
Signatur: TCL4894
    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
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
Logische Sprachregeln : eine Einführung in die Logik
1975
Signatur: TCL2054
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic
Graduate texts in mathematics : 53 (Alle Bände)
1977
Signatur: TCL2711
    Datensatz exportieren als...
  • BibTeX
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    Datensatz exportieren als...
  • BibTeX
Proof theory
Studies in logic and the foundations of mathematics : 81 (Alle Bände)
1975
Signatur: TCL2004
    Datensatz exportieren als...
  • BibTeX
STUDIES IN ALGEBRAIC LOGIC. ED. AUBERT DAIGNEAULT
STUDIES IN MATHEMATICS. 9. : 9 (Alle Bände)
1974
Signatur: TCL2949
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik und Modelltheorie
Vieweg-Studium : 60 (Alle Bände)
1986
Signatur: TCL3490
26 – 45 von 45
Suche als RSS-Feed
Aktive Filter
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen