Revision as of 15:47, 17 June 2006 edit Mets501 (talk \| contribs) 24,644 edits m clean up using AWB ← Previous edit		Revision as of 16:35, 30 May 2007 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits Refine category Next edit →
Line 9: http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/gorc2.ps [[Category:~~Mathematical logic~~Quantification]] {{Mathlogic-stub}}

Counting quantification: Difference between revisions