Volume 175, Number 1, 30 March 1997
Non-standard Logics and Logical Aspects of Computer Science - NSL'94, Kanazawa, Japan
: Foreword: Non-standard Logics and Logical Aspects of Computer Science.
Nikolay V. Shilov
: Program Schemata vs. Automata for Decidability of Program Logics.
: Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules.
Volume 175, Number 2, 10 April 1997
Orders, Algorithms and Applications - Ordal'94, July 1994, Lyon, France