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
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modallogik
Grundlagen der Kommunikation : Bibliotheksausgabe
1. Aufl, 1978
Signatur: TCL1595-DT
    Datensatz exportieren als...
  • BibTeX
An introduction to modal logic
Reprint. with corr, 1972
Signatur: TCL1595
    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
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    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
1 – 25 von 358
Suche als RSS-Feed
Aktive Filter
SystemstelleTCX
Suchergebnisse filtern
Filter anzeigen