Home›Browse›Monadic predicate calculus🌐EnglishEnglishFrançaisPortuguês中文EntityQ6897882· pop 5· linked from 319 articlesMonadic predicate calculusSign in to saveAlso known as monadic first-order logicfragment of first-order logicAvailable in 5 languagesFrançais中文PortuguêsUkrainianvia Wikidata sitelinks · CC0