Volume 6, Number 1, March 1995
: An Infinite Class of Functions Identifiable Using Minimal Programs in all Kolmogorov Numberings.
Volume 6, Number 2, June 1995
Volume 6, Number 3, September 1995
, S. Kobayashi
: A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure.
: Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations.
Volume 6, Number 4, December 1995
: A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality.
: Observing Distribution in Processes: Static and Dynamic Localities.
: How to Simulate Turing Machines by Invertible One-Dimensional Cellular Automata.
: On the Power of One-Way Globally Deterministic Synchronized Alternating Turing Maschines and Multihead Automata.