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
ON SPECTRA
1977
Signatur: TCL2444
    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
A resolution calculus for modal logics
1988
Signatur: D414
    Datensatz exportieren als...
  • BibTeX
Partial-valued logic
1980
Signatur: D592
    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
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
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
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
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
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    Datensatz exportieren als...
  • BibTeX
Implizit definierte Mengensysteme
Bonner mathematische Schriften : 148 (Alle Bände)
1983
Signatur: TCL3262
    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
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
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
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
Pseudoelementare Relationen und Aussagen vom Typ des Bernstein'schen Äquivalenzsatzes
Bonner mathematische Schriften : 95 (Alle Bände)
Als Ms. gedr, 1977
Signatur: TCL2698
1 – 25 von 60
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Autor / AutorinBarendregt, Hendrik P
Suchergebnisse filtern
Filter anzeigen