Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 87
Volume 87, Number 1, 22 August 1997
- Mitch Rudominer:
Mouse Sets. 1-100
Volume 87, Number 2, 15 September 1997
- Richard A. Shore:
Logic Colloquium '95, Haifa, Israel, 9-17 August 1995 - Preface. Ann. Pure Appl. Log. 87(2): 101-102 (1997) - Chi Tat Chong, Yue Yang:
Sigma2 Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma2 Coding and the Jump Operator. 103-116 - Marcia J. Groszek, Theodore A. Slaman:
Pi0a Classes and Minimal Degrees. 117-144 - E. Herrmann:
Boolean Pairs Formed by the Delta0n-Sets. 145-149 - Christopher J. Ash, Julia F. Knight:
Possible Degrees in Recursive Copies II. 151-165 - Steffen Lempp, Manuel Lerman:
A Finite Lattice without Critical Triple that cannot be Embedded into the Enumerable Turing Degrees. 167-185
Volume 87, Number 3, 17 October 1997
- Bohuslav Balcar, Thomas Jech, Jindrich Zapletal
:
Semi-Cohen Boolean Algebras. 187-208 - Djordje Cubric:
On the Semantics of the Universal Quantifier. 209-239 - Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto:
How to Define a Linear Order on Finite Models. 241-267
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-01 21:39 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:
