Title: Development of Symbolic Logic