Logic, Proof, & Axiomatic Systems (Fall 2009)

Welcome to the course wiki for the Fall 2009 manifestation of MA 3110: Logic, Proof, and Axiomatic Systems at Plymouth State University. This wiki is only available to authorized users, which basically means students registered in the class. We'll use the wiki to write up proofs for the remaining theorems that we will cover this semester.

Here are a few advantages to using the wiki:

• we'll have a record of our work when we are done.
• the wiki does a great job at handling mathematical notation using LaTeX.
• we'll be able to collectively edit existing content on the wiki, post new content, and we'll be able to keep track of the changes.