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
Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Lecture notes in mathematics : 499 (Alle Bände)
1975
Signatur: TCK2384
    Datensatz exportieren als...
  • BibTeX
Omega-bibliography of mathematical logic
Perspectives in mathematical logic
Signatur: TAA1021-...
    Datensatz exportieren als...
  • BibTeX
Logic Symposia : Hakone 1979, 1980 ; proceedings of conferences held in Hakone, Japan, March 21 - 24, 1979 and February 4 - 7, 1980
Lecture notes in mathematics : 891 (Alle Bände)
1981
Signatur: TAY790563
    Datensatz exportieren als...
  • BibTeX
Omega-bibliography of mathematical logic. 2. Non-classical logics
Omega-bibliography of mathematical logic (Alle Bände)
1987
Signatur: TAA1021-2
    Datensatz exportieren als...
  • BibTeX
Omega-bibliography of mathematical logic. 4. Recursion theory
Omega-bibliography of mathematical logic (Alle Bände)
1987
Signatur: TAA1021-4
    Datensatz exportieren als...
  • BibTeX
Omega-bibliography of mathematical logic. 3. Model theory
Omega-bibliography of mathematical logic (Alle Bände)
1987
Signatur: TAA1021-3
    Datensatz exportieren als...
  • BibTeX
Omega-bibliography of mathematical logic. 6. Proof theory; Constructive mathematics
Omega-bibliography of mathematical logic (Alle Bände)
1987
Signatur: TAA1021-6
    Datensatz exportieren als...
  • BibTeX
Models and sets
Proceedings of the Logic Colloquium : 1 (Alle Bände), Lecture notes in mathematics : 1103 (Alle Bände)
1984
Signatur: TAY830240-1
1 – 8 von 8
Suche als RSS-Feed
Aktive Filter
SchlagwortAlgebra
SchlagwortComputer science
Autor / AutorinMüller, Gert H
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
2 weitere anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts