Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 41
Volume 41, Number 1, 10 January 1989
- Rodney G. Downey:
Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part I: Density. 1-26 - Kostas Hatzikiriakou, Stephen G. Simpson:
Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. 27-32 - Andrew M. Pitts:
Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. 33-81 - Philip Scowcroft:
More on Brouwer's Refutations. 83-91
Volume 41, Number 2, 6 February 1989
- Arthur W. Apter, Carlos DiPrisco, James M. Henle, William S. Zwicker:
Filter Spaces: Toward a Unified Theory of Large Cardinals and Embedding Axioms. 93-106 - Richard Beigel, William I. Gasarch, James C. Owings:
Nondeterministic Bounded Query Reducibilities. 107-118 - Rodney G. Downey, Theodore A. Slaman:
Completely Mitotic r.e. Degrees. 119-152 - Jan Krajícek:
On the Number of Steps in Proofs. 153-178 - Arnold W. Miller:
Infinite Combinatorics and Definability. 179-203
Volume 41, Number 3, 1 March 1989
- Elisabeth Bouscaren:
Dimensional Order Property and Pairs of Models. 205-231 - Sy D. Friedman:
Minimal Coding. 233-297
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-05-10 18:47 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:
