Annals of Pure and Applied Logic, Volume 117

Volume 117, Number 1-3, 15 October 2002

• John Longley: The sequentially realizable functionals. 1-93
• Zena M. Ariola, Stefan Blom: Skew confluence and the lambda calculus with letrec. 95-168
• William I. Gasarch, Geoffrey R. Hird: Automata techniques for query inference machines. 169-201
• David Lippe: A contrast to the low basis theorem. 203-207
• Guohua Wu: Nonisolated degrees and the jump operator. 209-221
• Alan Dowm, Jinyuan Zhou: Partition subalgebras for maximal almost disjoint families. 223-259
• Giorgi Japaridze: The logic of tasks. 261-293