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 R. 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
  

Last update Fri May 24 20:00:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page