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
Aleph-zero-categoricity over a predicate
1988
Signatur: D442
    Datensatz exportieren als...
  • BibTeX
Metalogic : an introd. to the metatheory of standard first order logic
1971
Signatur: TCL2622
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
An introduction to modal logic
Reprint. with corr, 1972
Signatur: TCL1595
    Datensatz exportieren als...
  • BibTeX
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
    Datensatz exportieren als...
  • BibTeX
Modal logic : an introduction
1980
Signatur: TCL3050
    Datensatz exportieren als...
  • BibTeX
Discrete and switching functions
Advanced book program
1978
Signatur: TCL2761
    Datensatz exportieren als...
  • BibTeX
The decision problem : solvable classes of quantificational formulas
1979
Signatur: TCL3076
    Datensatz exportieren als...
  • BibTeX
Precision, language and logic
1. ed, 1977
Signatur: TCL2614
    Datensatz exportieren als...
  • BibTeX
Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963
Studies in logic and the foundations of mathematics
1965
Signatur: TCL2208
    Datensatz exportieren als...
  • BibTeX
Einführung in die Polargeometrie
2., wesentl. verb., erg. und umgearb. Aufl, 1932
Signatur: TCL2656(2)
    Datensatz exportieren als...
  • BibTeX
Admissible sets and structures : an approach to definability theory
Perspectives in mathematical logic
1975
Signatur: TCL2282
    Datensatz exportieren als...
  • BibTeX
ON SPECTRA
1977
Signatur: TCL2444
    Datensatz exportieren als...
  • BibTeX
A resolution calculus for modal logics
1988
Signatur: D414
    Datensatz exportieren als...
  • BibTeX
Partial-valued logic
1980
Signatur: D592
    Datensatz exportieren als...
  • BibTeX
Decidability and generalized quantifiers
Mathematical research : 3 (Alle Bände)
1980
Signatur: TCL3107
    Datensatz exportieren als...
  • BibTeX
The lambda calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
1981
Signatur: TCL3149
    Datensatz exportieren als...
  • BibTeX
The principles of empirical or inductive logic
Burt Franklin: research and source works series : Philosophy and religious history monographs : 113 (Alle Bände)
Repr. from the orig. [2.] ed., 1907, 1972
Signatur: TCL1927(2)
    Datensatz exportieren als...
  • BibTeX
Proof theory and intuitionistic systems
Lecture notes in mathematics : 212 (Alle Bände)
1971
Signatur: TCL1032
    Datensatz exportieren als...
  • BibTeX
Büchi's monadic second order successor arithmetic
Lecture notes in mathematics : 120 (Alle Bände), Decidable theories : 1 (Alle Bände)
1970
Signatur: TCL2745
    Datensatz exportieren als...
  • BibTeX
Introduction to combinatory logic
London Mathematical Society lecture note series : 7 (Alle Bände)
1972
Signatur: TCL1236
    Datensatz exportieren als...
  • BibTeX
Logic in algebraic form : three languages and theories
Studies in logic and the foundations of mathematics : 72 (Alle Bände)
1974
Signatur: TCL2101
    Datensatz exportieren als...
  • BibTeX
Principes et applications de l'analyse booléenne
Collection de mathématiques économiques : 2 (Alle Bände)
2. éd., rev. et augm, 1970
Signatur: TCL1414(2)
    Datensatz exportieren als...
  • BibTeX
The core model
London Mathematical Society lecture note series : 61 (Alle Bände)
1982
Signatur: TCL3199
    Datensatz exportieren als...
  • BibTeX
Term logic with choice operator
Lecture notes in mathematics : 6 (Alle Bände)
Rev. and enl. transl. of the 1. German ed, 1970
Signatur: TCL1040
1 – 25 von 341
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... im letzten Monat
SchlagwortRekursionstheorie
Art des MediumsGedruckt
Suchergebnisse filtern
Filter anzeigen