Volume 62, Number 1, 28 June 1993

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

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

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
• 
  David M. Evans, Ehud Hrushovski: On the Automorphism Groups of Finite Covers. 83-112
• 
  A. D. Greif, Michael C. Laskowski: An Omitting Types Theorem for Saturated Structures. 113-118
• 
  Bradd Hart, Anand Pillay, Sergei Starchenko: Triviality, NDOP and Stable Varieties. 119-146
• 
  Ehud Hrushovski: A New Strongly Minimal Set. 147-166
• 
  Annalisa Marcja, Mike Prest, Carlo Toffalori: On the Undecidability of Some Classes of Abelian-by-Finite Groups. 167-173
• 
  Anand Pillay, Philipp Rothmaler: Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels. 175-181
• 
  Mike Prest: Remarks on Elementary Duality. 183-205

Volume 62, Number 3, 28 July 1993

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

last updated on Thu May 23 03:54:04 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page