intuitionistic logic brouwer rejected formalization presented work unformalized natural language advent bhk interpretation kripke models intuitionism became easier reconcile classical mathematics see also argument informal logic knowledge representation reasoning logic list computability complexity topics list first order theories list logic symbols list mathematical logic topics list set theory topics mereology propositional calculus well formed formula notes classic graduate text first appeared ref use ref name ferreir ssurveys surveys rise first order logic
Humanities Philosophy Logic Mathematical logic