Liberal Arts at Queen's is a unique, exciting and challenging programme that allows students to immerse themselves in subjects that are vital to understanding our twenty-first- century world. Through ...

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.