Annals of Pure and Applied Logic, Volume 83

Volume 83, Number 1, 6 January 1997

• Kitty L. Holland: Strongly Minimal Fusions of Vector Spaces. 1-22
• Jonathan P. Seldin: On the Proof Theory of Coquand's Calculus of Constructions. 23-101

Volume 83, Number 2, 23 January 1997

• Alessandro Andretta, John Steel: How to Win Some Simple Iteration Games. 103-164
• Kai Hauser, Greg Hjorth: Strong Cardinals in the Core Model. 165-198

Volume 83, Number 3, 14 February 1997

• E. A. Cichon, Andreas Weiermann: Term Rewriting Theory for the Primitive Recursive Functions. 199-223
• Jens Blanck: Domain Representability of Metric Spaces. 225-247
• Alessandra Carbone: Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus. 249-299