Year of publication
Type of material
Licence
Language
TIB reading rooms collection
1–20 of 32,034 hits
Sort by:
Sort by:
-
Erststufige Logik und endliche Strukturen
Springer Verlag | 2024|Keywords: Mathematical Logic and Foundations -
Turing-Maschinen, Komplexitätsklassen und der Satz von Trahtenbrot
Springer Verlag | 2024|Keywords: Mathematical Logic and Foundations -
Zweitstufige Logik und die Komplexität von Model Checking
Springer Verlag | 2024|Keywords: Mathematical Logic and Foundations -
Zweitstufige Logik und reguläre Sprachen
Springer Verlag | 2024|Keywords: Mathematical Logic and Foundations -
The Diversity of Categoricity Without Delay
Springer Verlag | 2017|Keywords: Mathematical Logic and Foundations -
Existence and Uniqueness of Structures Computable in Polynomial Time
Springer Verlag | 2016|Keywords: Mathematical Logic and Foundations -
Degrees of Categoricity vs. Strong Degrees of Categoricity
Springer Verlag | 2016|Keywords: Mathematical Logic and Foundations -
Orders of Elements of Finite Almost Simple Groups
Springer Verlag | 2018|Keywords: Mathematical Logic and Foundations -
Power functions and exponentials in o-minimal expansions of fields
Free accessBASE | 2016|Keywords: Mathematical logic and foundations -
Computable Bi-Embeddable Categoricity
Springer Verlag | 2018|Keywords: Mathematical Logic and Foundations -
The Strong Reflecting Property for L-Cardinals
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations -
The Boldface Martin-Harrington Theorem in $$\mathsf{Z_2}$$
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations -
Forcing a Model of Harrington’s Principle Without Reshaping
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations -
Introduction and Preliminaries
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations -
Strengthenings of Harrington’s Principle
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations -
Primitive Recursive Fields and Categoricity
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations
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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.