Here are some presentations relating to the subject of Formalism (Deductive). You can read more about this topic on Wikipedia.
