Metalògica.

Studio della sintassi e della semantica dei linguaggi formali e dei sistemi formali.