Volume 5,
Number 1,
March 1989
Basic Research Problems
- Larry Wos:
The Problem of Finding an Inference Rule for Set Theory.
93-95
Problem Corner
- Art Quaife:
Automated Development of Tarski's Geometry.
97-118
Volume 5,
Number 2,
June 1989
Basic Research Problems
- Larry Wos:
The Problem of Determining the Size of a Complete Set of Reductions.
235-237
Problem Corner
Volume 5,
Number 3,
September 1989
Basic Research Problems
- Larry Wos:
The Problem of Guaranteeing the Existence of a Complete Set of Reductions.
399-401
Problem Corner
Volume 5,
Number 4,
December 1989
Basic Research Problems
- Larry Wos:
The Problem of Guaranteeing the Absence of a Complete Set of Reductions.
531-532
Problem Corner
Copyright © Fri Nov 27 19:54:17 2009
by Michael Ley (ley@uni-trier.de)