Logique Monadique du Second Ordre
concept
Logique où les quantifications du second ordre ne portent que sur des prédicats unaires
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logique_monadique_du_second_ordre
Lien Wikidata : https://www.wikidata.org/wiki/Q26899137