Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 44
Volume 44, Numbers 1-2, 9 October 1989
- Klaus Ambos-Spies, Robert I. Soare:
The Recursively Enumerable Degrees have Infinitely Many One-Types. 1-23 - Chi Tat Chong:
Hyperhypersimple Sets and Delta2 Systems. 25-38 - John N. Crossley, Philip J. Scott:
Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. 39-52 - Nigel J. Cutland:
Transfer Theorems for pi-Monads. 53-62 - Reijiro Kurata, Mamoru Shimoda:
Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma0. 63-69 - Anil Nerode, Jeffrey B. Remmel:
Complexity-Theoretic Algebra II: Boolean Algebras. 71-99 - Robert Solovay:
Injecting Inconsistencies into Models of PA. 101-132 - Shiqiang Wang:
Inductive Rings and Fields. 133-137 - Mariko Yasugi:
The Machinery of Consistency Proofs. 139-152
Volume 44, Number 3, 23 October 1989
- Rodney G. Downey:
Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part II: Nonbounding. 153-172 - Robert Goldblatt
:
Varieties of Complex Algebras. 173-242 - Wendy MacCaull:
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. 243-257 - Piotr Wojtylak:
Independent Axiomatizability of Sets of Sentences. 259-299
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-07-25 20:31 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:
