Browsing: symbolic logic