Source: wikibot/monadic-predicate-calculus

= Monadic predicate calculus
{wiki=Monadic_predicate_calculus}