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
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
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
Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Lecture notes in mathematics : 95 (Alle Bände)
1969
Signatur: TCL1058
    Datensatz exportieren als...
  • BibTeX
Pseudoelementare Relationen und Aussagen vom Typ des Bernstein'schen Äquivalenzsatzes
Bonner mathematische Schriften : 95 (Alle Bände)
Als Ms. gedr, 1977
Signatur: TCL2698
    Datensatz exportieren als...
  • BibTeX
The syntax and semantics of infinitary languages
Lecture notes in mathematics : 72 (Alle Bände)
1968
Signatur: TCL1024
    Datensatz exportieren als...
  • BibTeX
Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics
Studies in logic and the foundations of mathematics : 68 (Alle Bände)
1973
Signatur: TCL1359
    Datensatz exportieren als...
  • BibTeX
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    Datensatz exportieren als...
  • BibTeX
Studia logico-mathematica et philosophica : in honorem Rolf Nevanlinna die natali eius septuagesimo 22.10.1965
Acta philosophica Fennica : 18 (Alle Bände)
1965
Signatur: M38128
    Datensatz exportieren als...
  • BibTeX
Victoria Symposium on Nonstandard Analysis : University of Victoria 1972
Lecture notes in mathematics : 369 (Alle Bände)
1974
Signatur: TCL2185
    Datensatz exportieren als...
  • BibTeX
Specifications for a fuzzy system modeling language
1975
Signatur: TCL1943
    Datensatz exportieren als...
  • BibTeX
Intuitionistic logic model theory and forcing
Studies in logic and the foundations of mathematics
1969
Signatur: TCL2363
    Datensatz exportieren als...
  • BibTeX
SOME PROBLEMS IN MATHEMATICAL LOGIC
1967
Signatur: TCL2795
    Datensatz exportieren als...
  • BibTeX
Mathematical interpretation of formal systems
Studies in logic and the foundations of mathematics
2. ed, 1971
Signatur: TCL1294(2)
    Datensatz exportieren als...
  • BibTeX
Philosophical problems in logic : some recent developments
Synthese library : 29 (Alle Bände)
1970
Signatur: TCL1113
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity. 2 / by Alan Ross Anderson and Nuel D. Belnap and J. Michael Dunn
Entailment (Alle Bände)
1992
Signatur: TCL2038-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
A many-sorted calculus based on resolution and paramodulation
Research notes in artificial intelligence
1987
Signatur: TCL3636
    Datensatz exportieren als...
  • BibTeX
Algebraic recursion theory
Ellis Horwood series in mathematics and its applications
1986
Signatur: TCL3539
    Datensatz exportieren als...
  • BibTeX
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    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
1 – 25 von 60
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
SystemstelleTCX
Suchergebnisse filtern
Filter anzeigen