Volume 98, Numbers 1-3, 29 June 1999
Alexej P. Pynko
: Definitional Equivalence and Algebraizability of Generalized Logical Systems.
J. B. Wells
: Typability and Type Checking in System F are Equivalent and Undecidable.
: Distinguishing Three Strong Saturation Properties in Nonstandard Analysis.
: Some Purely Topological Models for Intuitionistic Analysis.
: Categoricity for Abstract Classes with Amalgamation.