From this page, you will find a selection of topics in logic, mainly situated in the area of automatic theorem proving. To this end, an implementation of logic and theorem proving algorithms is contained in the Orbital library. Additionally, this site hosts a few publications in the area of logic.