DMCA

Number of symbols in Frege proofs with and without the deduction rule (2004)

by Maria Luisa Bonet
Citations:6 - 0 self