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
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Formal number theory and computability : a workbook
Oxford logic guides : 7 (Alle Bände), Oxford science publications
1982
Signatur: TCL3288
    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
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
Hochschultext
1972
Signatur: TCL2240
    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
    Datensatz exportieren als...
  • BibTeX
Deduction : introductory symbolic logic
1. [Dr.], 1987
Signatur: TCL3717
    Datensatz exportieren als...
  • BibTeX
An introduction to mathematical logic and type theory : to truth through proof
Computer science and applied mathematics
1. [Dr.], 1986
Signatur: TCL3571
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Signatur: TCL2088-...
    Datensatz exportieren als...
  • BibTeX
Directions in relevant logic
Reason and argument : 1 (Alle Bände)
1989
Signatur: TCL3759
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006
    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
Algorithmen und rekursive Funktionen
Logik und Grundlagen der Mathematik : 13 (Alle Bände)
1974
Signatur: TCL1430
    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
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen