Formalism logic

250 __ $aFormalism logic
299 __ $aFormalism logic