A Free Variable Sequent Calculus with Uniform Variable Splitting

Foredrag
11. September 2003
TABLEAUX 2003, Roma, Italia

Presentasjon av artikkelen A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.