User:Lord Farin/Long-Term Projects/MLCS

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





First page it covers: Definition:Proposition.

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)

Missing Proofs
None atm

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

Other things
Nothing