Judith Underwood
A Constructive Completeness Proof for Intuitionistic Predicate Calculus
Judith Underwood, February 1, 1994
Extraction
Judith Underwood, March 16, 1993
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu