"Problem solving methods" . "Logical consequence" . "Markup languages" . "Gottfried Leibniz" .