Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Mathematical logic.
Search without synonyms: keywords:("Mathematical logic.")
Used synonyms:
- mathematische logik
-
May-Happen-in-Parallel Analysis for Actor-Based Concurrency
Online Contents | 2015|Keywords: Mathematische Logik -
A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
TIBKAT | 2020|Keywords: Mathematische Logik -
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
TIBKAT | 2020|Keywords: Mathematische Logik -
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
TIBKAT | 2020|Keywords: Mathematische Logik -
Einführung in die formale Logik für Philosophen
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2021|Keywords: Mathematische Logik -
Algebraic proof theory: Hypersequents and hypercompletions
Online Contents | 2016|Keywords: Mathematische Logik -
Symmetry and the union of saturated models in superstable abstract elementary classes
Online Contents | 2016|Keywords: Mathematische Logik -
Cardinal characteristics at κ in a small u(κ) model
Online Contents | 2017|Keywords: Mathematische Logik -
Some properties of r-maximal sets and Q1,N-reducibility
Online Contents | 2015|Keywords: Mathematische Logik -
On the quantifier complexity of definable canonical Henselian valuations
Online Contents | 2015|Keywords: Mathematische Logik -
Strong measure zero in separable metric spaces and Polish groups
Online Contents | 2016|Keywords: 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|Keywords: Mathematische Logik
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.