Annals of Pure and Applied Logic, Volume 81

Volume 81, Numbers 1-3, September 1996

• Anil Nerode, Gerald E. Sacks: Preface - Special Volume Dedicated to the late Stephen Cole Kleene. 1
• Mac Lane Saunders: Stephen Cole Kleene - a Reminiscence. 3-7
• Joan Rand Moschovakis: A Classical View of the Intuitionistic Continuum. 9-24
• Richard Vesley: Realizing Brouwer's Sequences. 25-74
• Solomon Feferman: Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams. 75-113
• Joseph R. Shoenfield: Priority Constructions. 115-123
• Anil Nerode, Jeffrey B. Remmel: On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field. 125-170
• Gerald E. Sacks: Effective Forcing versus Proper Forcing. 171-185
• James Lipton, Michael J. O'Donnell: Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. 187-239