The Lengths of Propositional Proofs and the Deduction Rule

Author: 
Maria Luisa Bonet
Leo Anthony Harrington
Publication date: 
May 1, 1991
Publication type: 
PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathLogic topic page, PhD-year-1991 topic page