Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Mathematical logic.
Suche ohne Synonyme: keywords:("Mathematical logic.")
Verwendete Synonyme:
- mathematische logik
-
Definable types in algebraically closed valued fields
Online Contents | 2016|Schlagwörter: Mathematische Logik -
From Small Space to Small Width in Resolution
Online Contents | 2015|Schlagwörter: Mathematische Logik -
Borel structurability on the 2-shift of a countable group
Online Contents | 2016|Schlagwörter: Mathematische Logik -
Modal logics, justification logics, and realization
Online Contents | 2016|Schlagwörter: Mathematische Logik -
Probabilistic Event Calculus for Event Recognition
Online Contents | 2015|Schlagwörter: Mathematische Logik -
Computable neighbourhoods of points in semicomputable manifolds
Online Contents | 2017|Schlagwörter: Mathematische Logik -
Proceedings of the colloquium
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1973(1975) - 1988(1989)|Schlagwörter: Mathematische Logik -
STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
Online Contents | 2016|Schlagwörter: Mathematische Logik -
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
Online Contents | 2016|Schlagwörter: Mathematische Logik -
LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE
Online Contents | 2015|Schlagwörter: Mathematische Logik -
Algebraic proof theory: Hypersequents and hypercompletions
Online Contents | 2016|Schlagwörter: Mathematische Logik -
Symmetry and the union of saturated models in superstable abstract elementary classes
Online Contents | 2016|Schlagwörter: Mathematische Logik -
On Σ11‐complete equivalence relations on the generalized Baire space
Online Contents | 2015|Schlagwörter: Mathematische Logik -
CLASSES OF STRUCTURES WITH NO INTERMEDIATE ISOMORPHISM PROBLEMS
Online Contents | 2016|Schlagwörter: Mathematische Logik -
Semantics of higher-order quantum computation via geometry of interaction
Online Contents | 2017|Schlagwörter: Mathematische Logik -
Strong measure zero in separable metric spaces and Polish groups
Online Contents | 2016|Schlagwörter: Mathematische Logik -
Non-discrete metrics in and some notions of finiteness K. Keremedis Non-discrete metrics in ZF and some notions of finiteness
Online Contents | 2016|Schlagwörter: Mathematische Logik
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.