User:Lord Farin/Long-Term Projects/MLCS

= Processing of 'Mathematical Logic for Computer Science (3e)' =





First page it covers: Definition:Statement.

First page covered by Appendices: Definition:Set.

A book extensively and rigorously building the basic foundations of logic.

Progress thus far
Initial set-up complete. --Lord_Farin (talk) 22:26, 15 February 2013 (UTC)

Appendix covered up to $\text{A}.4$, stopped at Definition:Cartesian Product/General Definition. --Lord_Farin (talk) 23:19, 15 February 2013 (UTC)

Appendix covered. --Lord_Farin (talk) 09:20, 16 February 2013 (UTC)

Up to Definition:Propositional Calculus/Alphabet/Sign/Connective. --Lord_Farin (talk) 15:48, 16 February 2013 (UTC)

Up to $\S 2.2.4$, Definition:Consequent. --Lord_Farin (talk) 13:24, 19 February 2013 (UTC)

Missing Proofs
None atm

Skipped thus far (that is, what needs to be done still)

 * Ben-Ari defines formulas to be trees. This perspective may be interesting, but his approach is a bit shaky and the integration with the current content will be hard.

Other things
Nothing