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
-
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
Online Contents | 2015|Keywords: Mathematische Logik -
What is the theory without power set? V. Gitman, J. D. Hamkins, and T. A. Johnstone What is the theory ZFC without power set?
Online Contents | 2016|Keywords: Mathematische Logik -
Archiv für mathematische Logik und Grundlagenforschung
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1.1950/52 - 26.1987Keywords: Mathematische Logik -
Uniqueness of limit models in classes with amalgamation
Online Contents | 2016|Keywords: Mathematische Logik -
Archiv für mathematische Logik und Grundlagenforschung
TIBKAT | 1.1950/52 - 26.1987Keywords: Mathematische Logik -
THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
Online Contents | 2015|Keywords: Mathematische Logik -
Embedding classical in minimal implicational logic
Online Contents | 2016|Keywords: Mathematische Logik -
Weakly precomplete computably enumerable equivalence relations
Online Contents | 2016|Keywords: Mathematische Logik -
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp
Online Contents | 2015|Keywords: Mathematische Logik -
DESCRIPTIONS AND CARDINALS BELOW $\delta _5^1
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.