First-order logic edit

You had asked how you could help with the first-order logic article. I have rearranged and edited most of it. Please feel free to edit away, or leave comments on the talk page about any omissions or confusing points. — Carl (CBM · talk) 17:19, 7 June 2009 (UTC)Reply