21–40 of 1,511 hits
Sort by:
Sort by:
-
Π 2 1 -Logic and uniformization in the analytical hierarchy
National licenceSpringer Verlag | 1989| -
Two classes of intermediate propositional logics without disjunction property
National licenceSpringer Verlag | 1989| -
On the elimination of Malitz quantifiers over Archimedian real closed fields
National licenceSpringer Verlag | 1989| -
TheL <ω-theory of the class of Archimedian real closed fields
National licenceSpringer Verlag | 1989| -
On certain indestructibility of strong cardinals and a question of Hajnal
National licenceSpringer Verlag | 1989| -
Some uses of dilators in combinatorial problems
National licencePart III. Independence results by means of decreasingF-sequences (F Weakly Finite Dilator)Springer Verlag | 1989| -
Presheaf semantics and independence results for some non-classical first-order logics
National licenceSpringer Verlag | 1989|
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.