External Links

    Journal: Annals of Pure and Applied Logic

    Volume 91, Issue 2-3

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

    Volume 91, Issue 1

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