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