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 BibTeX
• Jonathan P. Seldin: On the Proof Theory of Coquand's Calculus of Constructions. 23-101 BibTeX

Volume 83, Number 2, 23 January 1997

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

Volume 83, Number 3, 14 February 1997

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