Universallogic

Description
A discussion of a proposed foundational logic system proposed by DavdLib