researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Annals of Pure and Applied Logic
Home
Index
Info
Volume
Volume
66
, Issue
3
197
--
230
Felice Cardone
,
Mariangiola Dezani-Ciancaglini
,
Ugo de Liguoro
.
Combining Type Disciplines
231
--
276
Lance Fortnow
,
William I. Gasarch
,
Sanjay Jain
,
Efim B. Kinber
,
Martin Kummer
,
Stuart A. Kurtz
,
Mark Pleszkovich
,
Theodore A. Slaman
,
Robert Solovay
,
Frank Stephan
.
Extremes in the Degrees of Inferability
277
--
301
Iain A. Stewart
.
Context-Sensitive Transitive Closure Operators
Volume
66
, Issue
2
89
--
112
Giorgie Dzhaparidze
.
The Logic of Arithmetical Hierarchy
113
--
162
Deirdre Haskell
,
Dugald Macpherson
.
Cell Decompositions of C-Minimal Structures
Volume
66
, Issue
1
1
--
18
Jeffry L. Hirst
.
Reverse Mathematics and Ordinal Exponentiation
19
--
26
Anastasis Kamburelis
.
On the Weak Distributivity Game
27
--
88
M. C. Stanley
.
A Pi:::1:::::2:: Singleton Incompatible with 0:::#:::