Concepedia
Journal of Pure and Applied Algebra · 1972 · 340 citations · 0 references
HumanitiesComputer ScienceMathematicsAlgebraLogicTheory Of ComputationBoolean AlgebraFormal LanguagesFormal SemanticsModel TheoryPredicate LogicRecursion TheoryMonadic Second-order LogicMonadic SemanticsMonads