Annals of Pure and Applied Logic
, Volume 81
Volume 81, Numbers 1-3, September 1996
Special Volume Dedicated to the late
Stephen Cole Kleene
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
Copyright ©
Sat May 16 23:50:43 2009 by
Michael Ley
(
ley@uni-trier.de
)