Annals of Pure and Applied Logic, Volume 91

Volume 91, Number 1, 12 January 1998

• Bakhadyr Khoussainov: Randomness, Computability, and Algebraic Specifications. 1-15 BibTeX
• Christophe Raffalli: A Semantical Storage Operator Theorem for All Types. 17-31 BibTeX
• Carsten Butz, Peter Johnstone: Classifying Toposes for First-Order Theories. 33-58 BibTeX
• Henri Lombardi: Relecture constructive de la théorie d'Artin-Schreier. 59-92 BibTeX

Volume 91, Numbers 2-3, 24 February 1998

• Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon: Notions of Density That Imply Representability in Algebraic Logic. 93-190 BibTeX
• Joel David Hamkins: Destruction or Preservation as You Like It. 191-229 BibTeX
• Jean H. Gallier: Typing Untyped lambda-Terms, or Reducibility Strikes Again! 231-270 BibTeX