User talk:Showdownkiller

First-order logic
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. &mdash; Carl (CBM · talk) 17:19, 7 June 2009 (UTC)