User talk:Mag487

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact me, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site talk place. If you have any ideas, please share them!

Cheers, Joe (talk)

First Order Logic
Sheesh, good question. I started on this in Category:Predicate Calculus but got seriously bogged down. My exposition was taken mainly from Jerome Keisler's "Mathematical Logic and Computability" which jumps in at a rather deeper level than I was able to cope with - but so many other works seem incoherent on the subject. Take in from whatever direction you want. The important thing is to get something documented, the details can be tidied up as and when we have an idea of where it's going. --Matt Westwood 05:27, 25 August 2009 (UTC)