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
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Einführung in die Polargeometrie
2., wesentl. verb., erg. und umgearb. Aufl, 1932
Signatur: TCL2656(2)
    Datensatz exportieren als...
  • BibTeX
ON SPECTRA
1977
Signatur: TCL2444
    Datensatz exportieren als...
  • BibTeX
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
    Datensatz exportieren als...
  • BibTeX
The decision problem : solvable classes of quantificational formulas
1979
Signatur: TCL3076
    Datensatz exportieren als...
  • BibTeX
Partial-valued logic
1980
Signatur: D592
    Datensatz exportieren als...
  • BibTeX
Model-theoretic logics
Perspectives in mathematical logic
1985
Signatur: TCL3432
    Datensatz exportieren als...
  • BibTeX
Frege's conception of numbers as objects
Scots philosophical monographs : 2 (Alle Bände)
1983
Signatur: TCL3416
    Datensatz exportieren als...
  • BibTeX
Building models by games
London Mathematical Society student texts : 2 (Alle Bände)
1985
Signatur: TCL3393
    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
Leçons sur les fonctions calculables
Actualités scientifiques et industrielles : 1317 (Alle Bände)
1966
Signatur: TCL2177
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Logik von Wertungen
vom Autor erw. Fassung, 1975
Signatur: TCL2460
    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
Modelltheorie. 1
Modelltheorie (Alle Bände), BI-Hochschulskripten : 813,a (Alle Bände)
1971
Signatur: TCL1456-1
    Datensatz exportieren als...
  • BibTeX
Modelltheorie. 2
Modelltheorie (Alle Bände), BI-Hochschultaschenbücher : 815 (Alle Bände)
1972
Signatur: TCL1456-2
    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
Logic and arithmetic. 1. Natural numbers
Logic and arithmetic (Alle Bände)
1974
Signatur: TCL1799-1
    Datensatz exportieren als...
  • BibTeX
Logic and arithmetic. 2. Rational and irrational numbers
Logic and arithmetic (Alle Bände)
1979
Signatur: TCL1799-2
    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
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    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
Regressive sets and the theory of isols
Lecture notes in pure and applied mathematics : 66 (Alle Bände)
1. print, 1982
Signatur: TCL3204
1 – 25 von 146
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
SystemstelleTVM
Suchergebnisse filtern
Filter anzeigen