Revision as of 20:56, 18 September 2005 edit Silverfish (talk \| contribs) Extended confirmed users, Pending changes reviewers 6,013 edits m Stub-sorting. You can help! ← Previous edit		Revision as of 15:47, 17 June 2006 edit undo Mets501 (talk \| contribs) 24,644 edits m clean up using AWB Next edit →
Line 9: http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/gorc2.ps {{Mathlogic-stub}}▼ [[Category:Mathematical logic]] ▲{{Mathlogic-stub}}

Counting quantification: Difference between revisions