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
An algebraic approach to non-classical logics
Studies in logic and the foundations of mathematics : 78 (Alle Bände)
1974
Signatur: TCL1252
    Datensatz exportieren als...
  • BibTeX
An algebraic introduction to mathematical logic
Graduate texts in mathematics : 22 (Alle Bände)
1975
Signatur: TCL1715
    Datensatz exportieren als...
  • BibTeX
Algebraic methods of mathematical logic
1967
Signatur: TCL1082
    Datensatz exportieren als...
  • BibTeX
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Aspects of definability
Acta philosophica Fennica : 29,2,3 (Alle Bände)
1977
Signatur: M38134
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
Closure spaces and logic
Mathematics and its applications : 369 (Alle Bände)
1996
Signatur: TCL4593
    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 course in mathematical logic
Graduate texts in mathematics : 53 (Alle Bände)
1977
Signatur: TCL2711
    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
Deducibility and decidability
1990
Signatur: TCL3848
    Datensatz exportieren als...
  • BibTeX
Deduction : introductory symbolic logic
1. [Dr.], 1987
Signatur: TCL3717
    Datensatz exportieren als...
  • BibTeX
Degrees of unsolvability : structure and theory
Lecture notes in mathematics : 759 (Alle Bände)
1979
Signatur: TCL3018
    Datensatz exportieren als...
  • BibTeX
Directions in relevant logic
Reason and argument : 1 (Alle Bände)
1989
Signatur: TCL3759
    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. 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
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap
Entailment (Alle Bände)
1975
Signatur: TCL2038-1
    Datensatz exportieren als...
  • BibTeX
Essentials of symbolic logic
1988
Signatur: TCL3694
    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
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Synthese library : 4 (Alle Bände)
1962
Signatur: TCL1723
1 – 25 von 45
Suche als RSS-Feed
Aktive Filter
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen