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
The lambda-calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
Rev. ed, 1984
Signatur: TCL3149
    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
    Datensatz exportieren als...
  • BibTeX
Self-reference and modal logic
Universitext
1. [Dr.], 1985
Signatur: TCL3440
    Datensatz exportieren als...
  • BibTeX
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    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
Subrecursion : functions and hierarchies
Oxford logic guides : 9 (Alle Bände), Oxford science publications
1984
Signatur: TCL3408
    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
Generalized recursion theory : proceedings of the ... Oslo Symposium
1974-
Signatur: TCL2119-...
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium. 1. Proceedings of the 1972 Oslo Symposium
Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 79 (Alle Bände)
1974
Signatur: TCL2119-1
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium. 2. Proceedings of the 1977 Oslo symposium
Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 94 (Alle Bände)
1978
Signatur: TCL2119-2
    Datensatz exportieren als...
  • BibTeX
Intensional and higher order modal logic : with applications to Montague semantics
North Holland mathematics studies : 19 (Alle Bände)
1975
Signatur: TCL2290
    Datensatz exportieren als...
  • BibTeX
Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976
Studies in logic and the foundations of mathematics : 89 (Alle Bände)
1977
Signatur: TCL2559
    Datensatz exportieren als...
  • BibTeX
An algebraic approach to non-classical logics
Studies in logic and the foundations of mathematics : 78 (Alle Bände)
1974
Signatur: TCL1252
    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
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
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
The logic of conditionals : an application of probability to deductive logic
Synthese library : 86 (Alle Bände)
1975
Signatur: TCL2062
    Datensatz exportieren als...
  • BibTeX
Topics in conditional logic
Philosophical studies series in philosophy : 20 (Alle Bände)
1980
Signatur: TCL3115
26 – 50 von 323
Suche als RSS-Feed
Aktive Filter
Autor / AutorinAsser, Günter
Autor / AutorinDunn, John M
Autor / AutorinFlum, Jörg
SchlagwortAutomatisches Beweisverfahren
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen