Annals of Pure and Applied Logic, Volume 62

Volume 62, Number 1, 28 June 1993

• Jacqueline Vauzeilles: Cut Elimination for the Unified Logic. 1-16 BibTeX

• Ernst-Jochen Thiele: Preface: A selection of papers presented at the Logic Colloquium '89. 19 BibTeX
• Kosta Dosen: Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. 21-49 BibTeX
• Harvey Friedman, Stephen G. Simpson, Xiaokang Yu: Periodic Points and Subsystems of Second-Order Arithmetic. 51-64 BibTeX
• Grigori Mints: A Normal Form for Logical Derivations Implying One for Arithmetic Derivations. 65-79 BibTeX

Volume 62, Number 2, 5 July 1993

• John T. Baldwin: Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. 81 BibTeX
• David M. Evans, Ehud Hrushovski: On the Automorphism Groups of Finite Covers. 83-112 BibTeX
• A. D. Greif, Michael C. Laskowski: An Omitting Types Theorem for Saturated Structures. 113-118 BibTeX
• Bradd Hart, Anand Pillay, Sergei Starchenko: Triviality, NDOP and Stable Varieties. 119-146 BibTeX
• Ehud Hrushovski: A New Strongly Minimal Set. 147-166 BibTeX
• Annalisa Marcja, Mike Prest, Carlo Toffalori: On the Undecidability of Some Classes of Abelian-by-Finite Groups. 167-173 BibTeX
• Anand Pillay, Philipp Rothmaler: Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels. 175-181 BibTeX
• Mike Prest: Remarks on Elementary Duality. 183-205 BibTeX

Volume 62, Number 3, 28 July 1993

• D. Kaddah: Infima in the d.r.e. Degrees. 207-263 BibTeX
• Alexander Yakhnis, Vladimir Yakhnis: Gurevich-Harrington's Games Defined by Finite Automata. 265-294 BibTeX