An introduction to symbolic logic | AbS