Judith Underwood

A Constructive Completeness Proof for Intuitionistic Predicate Calculus
Judith Underwood, February 1, 1994
Extraction
Judith Underwood, March 16, 1993


Home | Introduction |Authors | Topics | Chronological List | PRL Project



 
Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu