Revision as of 14:53, 17 November 2020 edit Joel Brennan (talk \| contribs) Extended confirmed users 3,724 edits m minor formatting ← Previous edit		Revision as of 13:50, 9 May 2022 edit undo Felix QW (talk \| contribs) Extended confirmed users 8,596 edits Removed stub sorting (not a stub) Tag: 2017 wikitext editor Next edit →
Line 24: [[Category:Model theory]] [[Category:Systems of formal logic]] ~~{{logic-stub}}~~ ~~{{comp-sci-stub}}~~

Two-variable logic: Difference between revisions