Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchiv für mathematische Logik und Grundlagenforschung, Volume 26
Volume 26, Number 1, December 1987
- Martin W. Bunder:
Some generalizations to two systems of set theory based on combinatory logic. 5-12 - Petr Hájek, Jeff B. Paris:
Combinatorial principles concerning approximations of functions. 13-28 - Kurt Schütte:
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. 29-55 - John N. Crossley, Jane Bridge Kister:
Natural well-orderings. 57-76 - Matthias Ragaz:
Parallelizable algebras. 77-99 - J. Richard Büchi, Steven Senger:
Coding in the existential theory of concatenation. 101-106 - Miroslaw Szatkowski:
Model existence theorem in superrelevant predicate logics. 111-121 - Norbert Brunner
:
Garnir's dream spaces with Hamel bases. 123-126 - Rodney G. Downey:
Localization of a theorem of Ambos-Spies and the strong anti-splitting property. 127-136 - C. T. Chong:
Degree-theoretic bounds on the morley rank. 137-145 - Lew Gordeev:
On cut elimination in the presence of perice rule. 147-164 - John B. Vaughn:
A note on forking and normalization. 165-168 - Jan Krajícek:
A note on proofs of falsehood. 169-176 - Alexander Abian, Kyriakos Keremedis:
Unramified forcing preserving the law of double negation. 177-180
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-30 20:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
