Title: Outlines of Theoretical Logic