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
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
Metalogic : an introd. to the metatheory of standard first order logic
1971
Signatur: TCL2622
    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
Boolean valued models and independence proofs in set theory
Oxford logic guides : 4 (Alle Bände)
1977
Signatur: TCL2915
    Datensatz exportieren als...
  • BibTeX
An introduction to mathematical modeling
A WILEY-INTERSCIENCE PUBLICATION
1978
Signatur: TCL2876
    Datensatz exportieren als...
  • BibTeX
ON SPECTRA
1977
Signatur: TCL2444
    Datensatz exportieren als...
  • BibTeX
Discrete and switching functions
Advanced book program
1978
Signatur: TCL2761
    Datensatz exportieren als...
  • BibTeX
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    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
Fuzzy sets and their applications to cognitive and decision processes : proceedings of the US Japan Seminar on Fuzzy Sets and Their Applications, held at the University of California, Berkeley, California, July 1 - 4, 1974
Academic Press rapid manuscript reproduction
1975
Signatur: TCL1846
    Datensatz exportieren als...
  • BibTeX
The unprovability of consistency : an essay in modal logic
1979
Signatur: TCL2981
    Datensatz exportieren als...
  • BibTeX
Modal logic : an introduction
1980
Signatur: TCL3050
    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
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
Self-reference and modal logic
Universitext
1. [Dr.], 1985
Signatur: TCL3440
    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
1 – 25 von 311
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCresswell, Maxwell J
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen