Revision as of 00:43, 19 May 2022 edit Caleb Stanford (talk \| contribs) Extended confirmed users, IP block exemptions 5,677 edits Buchi-Elgot-Trakhtenbrot -- clarify per talk page Tag: 2017 wikitext editor ← Previous edit		Revision as of 00:09, 25 August 2022 edit undo Mgkrupa (talk \| contribs) Extended confirmed users 27,627 edits Added {{Mathematical logic}} Next edit →
Line 46: ==See also== * [[Descriptive complexity theory]]▼ * [[Monadic predicate calculus]] * [[Second-order logic]] ▲* [[Descriptive complexity theory]] ==References== {{reflist}} ~~[[Category:~~{{Mathematical logic]]}} {{Logic-stub}} [[Category:Mathematical logic]]

Monadic second-order logic: Difference between revisions